From a4deb1c268ce1daba3a74131a85c3aa64ffd3fe0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 13 Oct 2018 15:48:54 -0500
Subject: [PATCH] chore: add travis support

---
 .travis.yml | 16 ++++++++++++++++
 README.md   |  3 +++
 2 files changed, 19 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..fc559ab
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,16 @@
+language: c
+install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
+script: bash -ex .travis-docker.sh
+services:
+- docker
+env:
+  global:
+  - PINS="smbc:."
+  - DISTRO="ubuntu-16.04"
+  matrix:
+    #- PACKAGE="logitest" OCAML_VERSION="4.02"
+  - PACKAGE="smbc" OCAML_VERSION="4.03"
+  - PACKAGE="smbc" OCAML_VERSION="4.04"
+  - PACKAGE="smbc" OCAML_VERSION="4.05"
+  - PACKAGE="smbc" OCAML_VERSION="4.06"
+
diff --git a/README.md b/README.md
index bd309d6..7da35df 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,8 @@
 # SMBC
 
+
+[![build status](https://travis-ci.org/c-cube/smbc.svg?branch=master "build status")](https://travis-ci.org/c-cube/smbc)
+
 Experimental model finder/SMT solver for functional programming.
 
 The underlying algorithm is described in [a 2016 paper](https://hal.inria.fr/hal-01572531).