diff options
Diffstat (limited to 'vendor/github.com/byzantine-lab/mcl/.travis.yml')
-rw-r--r-- | vendor/github.com/byzantine-lab/mcl/.travis.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/vendor/github.com/byzantine-lab/mcl/.travis.yml b/vendor/github.com/byzantine-lab/mcl/.travis.yml new file mode 100644 index 000000000..73a97e6aa --- /dev/null +++ b/vendor/github.com/byzantine-lab/mcl/.travis.yml @@ -0,0 +1,17 @@ +sudo: true +dist: trusty +language: cpp +compiler: + - gcc + - clang +addons: + apt: + packages: + - libgmp-dev +script: + - make test_ci DEBUG=1 -j3 + - make clean + - make test_ci CFLAGS_USER=-DMCL_DONT_USE_XBYAK -j3 + - make clean + - make test_go + |