tmp

Dockerfile

@@ -3,35 +3,48 @@ ARG K_COMMIT
 ARG LLVM_VERSION
 
 ARG Z3_VERSION=4.12.1
-FROM runtimeverificationinc/z3:ubuntu-jammy-${Z3_VERSION} as Z3
+FROM runtimeverificationinc/z3:ubuntu-noble-${Z3_VERSION} as Z3
 
 ARG K_COMMIT
-FROM runtimeverificationinc/kframework-k:ubuntu-jammy-${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}
-                      
+# ARG LLVM_VERSION
+# RUN wget https://apt.llvm.org/llvm.sh
+# RUN chmod +x llvm.sh
+# RUN ./llvm.sh ${LLVM_VERSION}
+
 ARG USER_ID=1000
 ARG GROUP_ID=1000
 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