GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

cryptol-remote-api Dockerfile: Add /root/.local/bin to PATH

Browse Source 
This is necessary to ensure that `alex` and `happy` are located on the `PATH`
when building GHC.
This commit is contained in:
Ryan Scott 2024-01-04 10:45:53 -05:00
parent 2d781a2088
commit 88cc7520a9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/Dockerfile
View File

@ -15,7 +15,7 @@ RUN apt-get update && \
ENV LANG=C.UTF-8 \
LC_ALL=C.UTF-8
ENV GHCUP_INSTALL_BASE_PREFIX=/opt \
PATH=/opt/.ghcup/bin:$PATH
PATH=/opt/.ghcup/bin:/root/.local/bin:$PATH
RUN curl -o /usr/local/bin/ghcup "https://downloads.haskell.org/~ghcup/0.1.19.4/x86_64-linux-ghcup-0.1.19.4" && \
chmod +x /usr/local/bin/ghcup
RUN ghcup install cabal 3.10.1.0 --set