From 640a4ec20257f689f0b082eed684a7fdbea39b75 Mon Sep 17 00:00:00 2001
From: ThanhVu Nguyen <nguyenthanhvuh@gmail.com>
Date: Fri, 1 Mar 2024 23:58:30 -0500
Subject: [PATCH] updates

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

diff --git a/Dockerfile b/Dockerfile
index 88bc9ee6..07e1bd04 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,17 +7,17 @@ RUN apt install -y build-essential libc6 git software-properties-common emacs-no
 
 # Install miniconda & sympy & z3
 RUN wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh
-#RUN bash ./Miniconda3-latest-Linux-x86_64.sh -b
-#RUN /root/miniconda3/bin/conda install sympy pip -y
-#RUN /root/miniconda3/bin/pip3 install z3-solver beartype pycparser
-# RUN rm -rf ./Miniconda3-latest-Linux-x86_64.sh
+RUN bash ./Miniconda3-latest-Linux-x86_64.sh -b
+RUN /root/miniconda3/bin/conda install sympy pip -y
+RUN /root/miniconda3/bin/pip3 install z3-solver beartype pycparser
+RUN rm -rf ./Miniconda3-latest-Linux-x86_64.sh
 
 WORKDIR /
-# COPY . /dig
+COPY . /dig
 
-# ## CIVL and Goblint-Cil
-# WORKDIR /dig/EXTERNAL_FILES
-# RUN tar xf CIVL-1.22_5854.tgz ; ln -sf CIVL-1.22_5854/ civl
-# RUN cp dot_sarl ~/.sarl   # NEED TO MANUALLY PUT IN Z3 VERSION
+## CIVL and Goblint-Cil
+WORKDIR /dig/EXTERNAL_FILES
+RUN tar xf CIVL-1.22_5854.tgz ; ln -sf CIVL-1.22_5854/ civl
+RUN cp dot_sarl ~/.sarl   # NEED TO MANUALLY PUT IN Z3 VERSION
 
-# WORKDIR /dig/src
+WORKDIR /dig/src