Merge pull request #1 from weidenba/master

system upgrade

Dockerfile

 # based on https://github.com/BinaryAnalysisPlatform/bap/blob/master/docker/Dockerfile
-FROM ubuntu:xenial
+FROM ubuntu:bionic
 MAINTAINER Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>
 RUN apt-get -y update && apt-get -y install \
     build-essential \
@@ -13,7 +13,15 @@ RUN apt-get -y update && apt-get -y install \
     sudo \
     unzip \
     wget	  
-RUN apt-get -y install opam binutils-multiarch clang libgmp-dev libzip-dev llvm-3.8-dev zlib1g-dev
+RUN apt-get -y install \
+	binutils-multiarch \
+	clang \
+	libgmp-dev \
+	libzip-dev \
+	llvm-6.0-dev \
+	zlib1g-dev
+RUN wget https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh
+RUN yes /usr/local/bin | sh install.sh
 RUN useradd -m bap && echo "bap:bap" | chpasswd && adduser bap sudo
 RUN sed -i.bkp -e \
       's/%sudo\s\+ALL=(ALL\(:ALL\)\?)\s\+ALL/%sudo ALL=NOPASSWD:ALL/g' \
@@ -21,14 +29,15 @@ RUN sed -i.bkp -e \
 USER bap
 WORKDIR /home/bap
 # install Bap
-RUN opam init --auto-setup --comp=4.05.0 --yes
+RUN opam init --auto-setup --comp=4.05.0 --disable-sandboxing --yes
 RUN git clone -b testing --single-branch https://github.com/BinaryAnalysisPlatform/opam-repository.git
 RUN opam repo add bap opam-repository
 RUN opam update
+RUN opam install depext --yes
 RUN OPAMJOBS=1 opam depext --install bap --yes
-RUN sudo pip install bap
+RUN sudo -EH pip install bap
 # install CWE_Checker and dependencies
-RUN OPAMJOBS=1 opam install yojson alcotest
+RUN OPAMJOBS=1 opam install yojson alcotest --yes
 COPY . /home/bap/cwe_checker/
 RUN sudo chown -R bap:bap /home/bap/cwe_checker
 ENV PATH="/home/bap/.opam/4.05.0/bin/:${PATH}"