Dockerfile: fix bug

iu-parfunc · Aug 24, 2023 · c641b17 · c641b17
1 parent 41efd81
commit c641b17
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -28,7 +28,7 @@ RUN echo "export PATH=${PATH}" >> /home/${USERNAME}/.profile
 RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
 
 ARG GHC=9.4.6
-ARG CABAL=3.6.2
+ARG CABAL=3.8.1.0
 ARG STACK=2.9.3
 ARG HLS=recommended
 

diff --git a/README.md b/README.md
@@ -82,10 +82,11 @@ DOCKER_BUILDKIT=1 docker image build -t gibbon -f .devcontainer/Dockerfile .
 Run the docker image using the following command. 
 
 ```
-docker run -t -i gibbon
+docker run --user=root -t -i gibbon
 ``` 
 
 Follow the previous instructions to build gibbon in the docker container. 
+There should be a gibbon directory in ~/ in the docker. 
 
 ## Using Gibbon