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).