Docker file to compile Xen

To create docker file, run ./make_xen_docker_container.sh from the cbmc top dir.
Docker file will build CBMC, download Xen upstream version, and one-line-scan, and then attempt to
build Xen using goto-cc

Author: polgreen

Dockerfile

@@ -0,0 +1,16 @@
+FROM ubuntu:16.04
+
+
+RUN apt-get update && apt-get --no-install-recommends -y install \
+        build-essential gcc git make flex bison \
+        software-properties-common libwww-perl python \
+        bin86 gdb bcc liblzma-dev python-dev gettext iasl \
+        uuid-dev libncurses5-dev libncursesw5-dev pkg-config \
+        libgtk2.0-dev libyajl-dev sudo time 
+       
+
+ADD scripts/docker_compile_xen.sh docker_compile_xen.sh
+ADD . /tmp/cbmc
+RUN sudo ./docker_compile_xen.sh     
+VOLUME /tmp/cbmc
+VOLUME /tmp/xen_compilation

make_xen_docker_container.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+docker rm xen_build_container
+docker build -t "xen_image" .
+docker run -i -t --name "xen_build_container" xen_image /bin/bash

scripts/docker_compile_xen.sh

@@ -0,0 +1,21 @@
+#/bin/bash
+cd /tmp/cbmc/src
+make minisat2-download
+make -j$(nproc)
+mkdir /tmp/xen_compilation
+cd /tmp/xen_compilation
+ln -s /tmp/cbmc/src/goto-cc/goto-cc goto-ld
+ln -s /tmp/cbmc/src/goto-cc/goto-cc goto-gcc
+ln -s /tmp/cbmc/src/goto-cc/goto-cc goto-diff
+git clone https://github.com/awslabs/one-line-scan.git
+git clone git://xenbits.xen.org/xen.git
+export PATH=$(pwd)/one-line-scan/configuration:$PATH
+export PATH=$(pwd):$PATH
+
+cd xen
+if one-line-scan --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j$(($(nproc)/4)) -- make xen -j$(nproc) ; then
+echo "SUCCESS: Compilation of Xen succeeded"
+else
+echo "FAILED: Compilation of Xen failed. The build log can be found in /tmp/xen_compilation/xen/CPROVER/build.log"
+fi
+