Add Travis CI support.

tomgr · Aug 18, 2012 · eadcc89 · eadcc89
1 parent 7bbf7d6
commit eadcc89
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1 @@
+language: haskell
diff --git a/README.md b/README.md
@@ -7,6 +7,8 @@ parser, type checker and (experimental) evaluator for machine CSP files.
 There is also a program, `cspmchecker`, that makes use of this library to
 provide command line type checking.
 
+[![Build Status](https://secure.travis-ci.org/tomgr/libcspm.png)](http://travis-ci.org/tomgr/libcspm)
+
 Installation
 ------------