From d9d10aad151d3b959b95e4808da0d32f3904a5e4 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Sun, 8 Dec 2013 22:55:48 +0000
Subject: [PATCH] Add Travis CI scripts

---
 .travis-ci.sh | 29 +++++++++++++++++++++++++++++
 .travis.yml   |  6 ++++++
 CHANGES       |  1 +
 3 files changed, 36 insertions(+)
 create mode 100755 .travis-ci.sh
 create mode 100644 .travis.yml

diff --git a/.travis-ci.sh b/.travis-ci.sh
new file mode 100755
index 000000000..ca610c163
--- /dev/null
+++ b/.travis-ci.sh
@@ -0,0 +1,29 @@
+# OPAM packages needed to build tests.
+OPAM_PACKAGES="mirage-net-unix mirage-clock-unix"
+
+case "$OCAML_VERSION,$OPAM_VERSION" in
+3.12.1,1.0.0) ppa=avsm/ocaml312+opam10 ;;
+3.12.1,1.1.0) ppa=avsm/ocaml312+opam11 ;;
+4.00.1,1.0.0) ppa=avsm/ocaml40+opam10 ;;
+4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;;
+4.01.0,1.0.0) ppa=avsm/ocaml41+opam10 ;;
+4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
+*) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
+esac
+
+echo "yes" | sudo add-apt-repository ppa:$ppa
+sudo apt-get update -qq
+sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam
+export OPAMYES=1
+export OPAMVERBOSE=1
+echo OCaml version
+ocaml -version
+echo OPAM versions
+opam --version
+opam --git-version
+
+opam init 
+opam install ${OPAM_PACKAGES}
+
+eval `opam config env`
+make
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 000000000..164cce28b
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,6 @@
+language: c
+script: bash -ex .travis-ci.sh
+env:
+  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0
+  - OCAML_VERSION=4.00.1 OPAM_VERSION=1.1.0
+  - OCAML_VERSION=3.12.1 OPAM_VERSION=1.1.0
diff --git a/CHANGES b/CHANGES
index fa16e549f..7c4f03e99 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,6 +2,7 @@
 * Shift to the `mirage-types` 0.5.0+ interfaces, which breaks the
   socket backend (temporarily).
 * Port the direct stack to the new interfaces.
+* Add Travis CI scripts.
 
 0.9.4 (09-August-2013):
 * Use the `Ipaddr` external library and remove the Homebrew