From 737a10d2ec5b71e7fd17afedc536e1a496d2737f Mon Sep 17 00:00:00 2001
From: ChrisTimperley <christimperley@googlemail.com>
Date: Thu, 23 May 2019 10:34:24 -0400
Subject: [PATCH] updated to 18.04 and used PPA

---
 Dockerfile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index bb00b426..b519863d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,9 @@
-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 \
@@ -9,9 +11,10 @@ RUN apt-get update && \
       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