Skip to content
Permalink
Browse files

fix obsolete ocamlswitch.txt URL in Dockerfile

  • Loading branch information
alex-chew committed Nov 13, 2019
1 parent 68f6939 commit 3cde583626b43f50c7f9b2cbaeffce58f933bca1
Showing with 1 addition and 1 deletion.
  1. +1 −1 docker/build-fact/Dockerfile
@@ -43,7 +43,7 @@ RUN apt-get -y install apt-transport-https ca-certificates curl gnupg2 software-
USER ${USER}
RUN echo "export PATH=/usr/lib/llvm-6.0/bin/:$PATH" | tee -a /home/docker/.profile
RUN opam init --compiler=4.06.0
RUN cd /home/docker/ && wget https://raw.githubusercontent.com/PLSysSec/FaCT/rewrite/ocamlswitch.txt && opam switch import ocamlswitch.txt && rm ocamlswitch.txt
RUN cd /home/docker/ && wget https://raw.githubusercontent.com/PLSysSec/FaCT/master/ocamlswitch.txt && opam switch import ocamlswitch.txt && rm ocamlswitch.txt
RUN echo "export LD_LIBRARY_PATH=$HOME/.opam/4.06.0/lib/z3" | tee -a /home/docker/.profile
RUN mkdir /home/docker/FaCT

0 comments on commit 3cde583

Please sign in to comment.
You can’t perform that action at this time.