.travis.yml


1
2
3
4
5
6
7
8
9
10
11

language: generic

sudo: required
dist: trusty

addons:
  apt:
    packages:
    - coq

script: make COQPATH="$(pwd)/coqprime" TIMED=1 -j2