Set travis ci

Author: minkiminki

.travis.yml

@@ -0,0 +1,49 @@
+dist: trusty
+sudo: required
+language: c
+cache:
+  apt: true
+  directories:
+  - $HOME/.opam
+addons:
+  apt:
+    sources:
+    - avsm
+    packages:
+    - opam
+    - aspcud
+env:
+  global:
+  - NJOBS=1
+    MENHIR="20181113"
+    PACO="4.0.0"
+    COMPCERTR="[email protected]:snu-sf/CompCertR.git"
+
+  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
+  - git clone ${COMPCERTR} CompCertR
+  - cd CompCertR
+  - mkdir CompCertM
+  - mv ../[^CompCertR]* CompCertM
+  - ./configure ${ARCHI}
+  - make -j ${NJOBS}
+
+script:
+  - eval $(opam config env)
+  - opam config var root
+  - cd CompCertM
+  - make -j ${NJOBS}

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