chore: add travis support

c-cube · Oct 13, 2018 · a4deb1c · a4deb1c
1 parent 67e7e8b
commit a4deb1c
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/.travis.yml 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
@@ -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).