Browse files

fix #607 (#615)

Forced Docker to builds last `bap` version, from `master` branch.
  • Loading branch information...
gitoleg authored and ivg committed Jan 18, 2017
1 parent dce95ff commit dd9b0e6b54fb5070976828120b25076f9f6084dd
Showing with 1 addition and 1 deletion.
  1. +1 −1 docker/Dockerfile
@@ -23,7 +23,7 @@ RUN sed -i.bkp -e \
USER bap
WORKDIR /home/bap
RUN opam init --auto-setup --comp=4.02.3 --yes
-RUN opam repo add bap git://
+RUN opam repo add bap git://
RUN opam update
RUN opam depext --install bap --yes
RUN sudo pip install bap

0 comments on commit dd9b0e6

Please sign in to comment.