Merge pull request #26 from squaresLab/update-opam

Updated Docker image to use Ubuntu 18.04, OPAM 2.04, and OCaml 4.05.0 (fixes #25)

Dockerfile

@@ -1,17 +1,20 @@
-FROM ubuntu:16.04
-MAINTAINER Chris Timperley "christimperley@googlemail.com"
+FROM ubuntu:18.04
 
 RUN apt-get update && \
+    apt-get install -y --no-install-recommends software-properties-common && \
+    add-apt-repository -y ppa:avsm/ppa && \
+    apt-get update && \
     apt-get install -y --no-install-recommends \
       opam \
       ocaml \
       build-essential \
       jq \
       aspcud \
       vim \
+      gcc \
       m4 && \
     echo "yes" >> /tmp/yes.txt && \
-    opam init -y < /tmp/yes.txt && \
+    opam init --disable-sandboxing -y < /tmp/yes.txt && \
     opam install -y cil
 
 RUN mkdir -p /opt/genprog