From f040f476e2b6ec6bcf604ee5126e44a20195d866 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 24 Dec 2017 17:41:33 +0100 Subject: [PATCH] travis --- .travis.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 59fed01e..8a93f975 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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