add replication file back into replication folder

hmc-alpaqa · Mar 28, 2024 · ddc551a · ddc551a
1 parent c357d27
commit ddc551a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/replication/Dockerfile b/replication/Dockerfile
@@ -9,7 +9,7 @@ RUN apt install -y llvm-14
 
 # RUN apt install -y clang-6.0 llvm-6.0 llvm-6.0-dev llvm-6.0-tools zsh vim tmux
 
-# COPY src/ /app/code/
+COPY src/ /app/code/
 RUN pip install networkx
 RUN pip install pycparser
 RUN pip install mpmath

diff --git a/replication/run.sh b/replication/run.sh
@@ -0,0 +1,5 @@
+sudo docker build -t apcmetrinome/dockerapc -f Dockerfile .
+sudo docker login
+sudo docker push apcmetrinome/dockerapc
+sudo docker run -it apcmetrinome/dockerapc
+