Merge pull request #4 from minkiminki/travis

Set Travis

.travis.yml

@@ -0,0 +1,56 @@
+dist: trusty
+language: c
+cache:
+  apt: true
+  directories:
+  - $HOME/.opam
+  - $TRAVIS_BUILD_DIR/CompCertR
+addons:
+  apt:
+    sources:
+    - avsm
+    packages:
+    - opam
+    - aspcud
+env:
+  global:
+  - NJOBS=1
+    MENHIR="20190626"
+    PACO="4.0.0"
+    COMPCERTR="https://github.com/snu-sf/CompCertR.git"
+    BRANCH="v3.6+_adapt"
+
+  matrix:
+  - COMPILER="4.07.1"
+    TEST_TARGET="8.9.1"
+    ARCHI="x86_64-linux"
+
+before_script:
+  - ./ci/keep_alive.sh &
+
+install:
+  - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
+  - eval $(opam config env)
+  - opam config var root
+  - opam install -y --verbose -j ${NJOBS} coq.${TEST_TARGET} && opam pin add coq ${TEST_TARGET} -y
+  - opam install -y --verbose -j ${NJOBS} menhir.${MENHIR} && opam pin add menhir ${MENHIR} -y
+  - opam repo add coq-released https://coq.inria.fr/opam/released
+  - opam install -y --verbose -j ${NJOBS} coq-paco.${PACO} && opam pin add coq-paco ${PACO} -y
+  - if [ ! -d "./CompCertR" ];
+    then
+      git clone ${COMPCERTR} CompCertR;
+    fi
+  - cd CompCertR
+  - git reset --hard origin/${BRANCH}
+  - ./configure ${ARCHI}
+  - make -j ${NJOBS}
+
+script:
+  - eval $(opam config env)
+  - opam config var root
+  - cd $TRAVIS_BUILD_DIR/CompCertR
+  - rm -rf CompCertM
+  - git clone https://github.com/$TRAVIS_REPO_SLUG.git CompCertM
+  - cd CompCertM
+  - git checkout $TRAVIS_COMMIT
+  - make -j ${NJOBS}

README.md

@@ -11,13 +11,6 @@ git clone https://github.com/snu-sf/CompCertM.git
 cd CompCertM
 make -j[N]</pre>
 
-
-Or, you can download a Docker image in which `/home/coq/CompCertR/CompCertM` contains the build result:
-```
-docker pull minkiminki/popl20-93:v3.5
-docker run -it minkiminki/popl20-93:v3.5
-```
-
 ## Code Structure
 
 For directories that existed in [CompCert](https://github.com/AbsInt/CompCert) (e.g. backend/), there are files that extends original CompCert's files.

ci/keep_alive.sh

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+# Stolen from fiat-crypto: https://github.com/mit-plv/fiat-crypto/blob/78656baa06ed1daeb7ba90c2d429228516dc8475/etc/ci/keep_alive.sh
+
+while [ 1 ]
+do
+    echo ""
+    echo "Travis keep-alive spew"
+    sleep 5m
+done