This commit is contained in:
Simon Cruanes 2017-12-24 17:41:33 +01:00
parent 17dc7bb5c3
commit f040f476e2

View file

@ -29,7 +29,9 @@ install:
- opam install oasis
- opam install --deps-only containers
script:
- ./configure --enable-unix --enable-thread --disable-tests --disable-bench
- make build
- opam install sequence qcheck qtest gen
- ./configure --enable-unix --enable-thread --enable-tests --disable-bench
- ./configure --enable-unix --enable-thread --enable-tests --enable-docs --disable-bench
- make test
- make doc