diff options
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 |