summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2015-12-31 11:50:00 -0500
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2015-12-31 11:50:00 -0500
commit4d1dca73055bf5c488bc16a15c04cc886db46185 (patch)
tree5fc3250f7f22eb64f6f1c7b7070c5eb96b2c6b89
parente7c13d8091aa060a2ed7a769d9b6885dfd6b2b6e (diff)
parent14c6f08c58238b52253a6292d830ef78f6296ab4 (diff)
Merge pull request #2 from JasonGross/travis-yml
Add .travis.yml for automated testing
-rw-r--r--.travis.yml27
-rw-r--r--README.md2
2 files changed, 29 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 00000000..ead1ad85
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,27 @@
+language: c
+
+os:
+ - linux
+ - osx
+
+compiler:
+ - clang
+ - gcc
+
+# when https://github.com/travis-ci/apt-package-whitelist/issues/792 is closed, use the container-based infrastructure
+#sudo: false
+#addons:
+# apt:
+# packages:
+# - mlton
+
+before_install:
+ - export CONFIGURE_ARGS=""
+ - if command -v apt-get &>/dev/null; then sudo apt-get update -qq; fi
+ - if command -v apt-get &>/dev/null; then sudo apt-get install -y mlton; fi
+ - if command -v brew &>/dev/null; then brew update; fi
+ - if command -v brew &>/dev/null; then brew tap homebrew/boneyard; fi
+ - if command -v brew &>/dev/null; then brew install openssl mlton; fi
+ - if command -v brew &>/dev/null; then export CONFIGURE_ARGS="--with-openssl=/usr/local/opt/openssl"; fi
+
+script: ./autogen.sh && ./configure $CONFIGURE_ARGS && make && make test
diff --git a/README.md b/README.md
index af4201bc..3bfd94a1 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+[![Build Status](https://api.travis-ci.org/urweb/urweb.png?branch=master)](https://travis-ci.org/urweb/urweb)
+
# The Ur/Web Programming Language
Implementation of a domain-specific functional programming language for web applications. Please see [the Ur/Web project web site](http://www.impredicative.com/ur/) for much more information! Here's a summary: