diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-20 09:42:42 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-20 10:38:23 -0400 |
| commit | 977d76eac55aa34799039cc6a757efe65e1e7564 (patch) | |
| tree | 49f98ea5a612443934d165f045d073a319e9d812 /.travis.yml | |
| parent | 34ebf31cd6c309874a6bc292a5497a33be033490 (diff) | |
Add .travis.yml
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 000000000..9bea40d88 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,11 @@ +language: generic + +sudo: required +dist: trusty + +addons: + apt: + packages: + - coq + +script: make COQPATH="$(pwd)/coqprime" TIMED=1 -j2 |