From 0a0d5429f7d0b730c44b62f02592267e5c62cba3 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Fri, 18 Oct 2024 12:27:45 +0300
Subject: [PATCH] tmp

---
 Dockerfile | 27 ++++++++++++++++++++-------
 1 file changed, 20 insertions(+), 7 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index ca27331..2b2ca1d 100644
--- a/Dockerfile
+++ b/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