Browse files

removed conf-llvm install (#702)

  • Loading branch information...
gitoleg authored and ivg committed Aug 27, 2017
1 parent 97b7b59 commit 8402cbfed81a8d078f3f26b371ac17320807b2c8
Showing with 0 additions and 2 deletions.
  1. +0 −1 docker/Dockerfile
  2. +0 −1 vagrant/jessie64/Vagrantfile
@@ -25,7 +25,6 @@ WORKDIR /home/bap
RUN opam init --auto-setup --comp=4.02.3 --yes
RUN opam repo add bap git://
RUN opam update
RUN opam depext --install conf-llvm.3.8 --yes
RUN OPAMJOBS=1 opam depext --install bap --yes
RUN sudo pip install bap
ENTRYPOINT ["opam", "config", "exec", "--"]
@@ -14,7 +14,6 @@ sudo apt-get --yes install unzip
opam init --auto-setup --comp=4.02.3 --yes
eval `opam config env`
opam install depext --yes
opam depext conf-llvm.3.4 --install --yes
opam depext bap --install --yes
sudo apt-get install python-pip --yes
sudo pip install bap

0 comments on commit 8402cbf

Please sign in to comment.