tmp

.github/actions/with-docker/action.yml

@@ -16,9 +16,8 @@ runs:
 
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       K_COMMIT=$(cat ./deps/k_release)
-      LLVM_VERSION=16
 
-      docker build . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT} --build-arg LLVM_VERSION=${LLVM_VERSION}
+      docker build . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT}
 
       docker run                 \
         --name ${CONTAINER_NAME} \

Dockerfile

@@ -5,45 +5,18 @@ ARG LLVM_VERSION
 ARG K_COMMIT
 FROM runtimeverificationinc/kframework-k:ubuntu-noble-${K_COMMIT}
 
-# COPY --from=Z3 /usr/bin/z3 /usr/bin/z3
-
 RUN    apt-get update              \
     && apt-get upgrade --yes       \
     && apt-get install --yes       \
-                      bash \
-                      curl \
-                      lsb-release \
-                      nix \
-                      software-properties-common \
-                      wget
-
-# ARG LLVM_VERSION
-# RUN wget https://apt.llvm.org/llvm.sh
-# RUN chmod +x llvm.sh
-# RUN ./llvm.sh ${LLVM_VERSION}
+                       curl
 
 ARG USER_ID=1001
 ARG GROUP_ID=1001
 RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
 
-# RUN mkdir /nix
-# run chmod a+rwx /nix
-
 USER user:user
 WORKDIR /home/user
 
 RUN curl -sSL https://install.python-poetry.org | python3 - --version 1.7.1
 
-# ENV PATH=/home/user/.nix-profile/bin:/nix/var/nix/profiles/default/bin:$PATH
-
-# RUN curl https://kframework.org/install > install.sh
-# RUN chmod +x install.sh
-# RUN ./install.sh
-# ARG K_COMMIT
-# RUN kup install k -v --version v${K_COMMIT}
-
-# RUN pip3 install --user  \
-#            cytoolz       \
-#            numpy
-
 ENV PATH=/home/user/.local/bin:$PATH