update travis script

This commit is contained in:
Simon Cruanes 2018-01-14 17:49:00 -06:00
parent 8f46fdb6d2
commit 5119b69051

View file

@ -26,12 +26,10 @@ before_install:
install:
# Install dependencies
- opam pin add --no-action containers .
- opam install oasis
- opam install jbuilder
- 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 --enable-docs --disable-bench
- make test
- make doc