Turn on dependency checking on Inria CI

Only the "old school build" test uses --disable-dependency-generation.
This is also tested on both Travis and AppVeyor, so we have good release
coverage checking of this option.

tools/ci/inria/bootstrap

@@ -125,7 +125,7 @@ set -ex
 # default values
 make=make
 instdir="$HOME/ocaml-tmp-install"
-confoptions="--enable-ocamltest --disable-dependency-generation \
+confoptions="--enable-ocamltest --enable-dependency-generation \
 ${OCAML_CONFIGURE_OPTIONS}"
 make_native=true
 cleanup=false

tools/ci/inria/extra-checks

@@ -149,7 +149,7 @@ git clean -q -f -d -x
 # We cannot give the sanitizer options as part of -cc because
 # then various autoconfiguration tests fail.
 # Instead, we'll fix OC_CFLAGS a posteriori.
-./configure CC=clang-9 --disable-stdlib-manpages --disable-dependency-generation
+./configure CC=clang-9 --disable-stdlib-manpages --enable-dependency-generation
 
 # These are the undefined behaviors we want to check
 # Others occur on purpose e.g. signed arithmetic overflow
@@ -200,7 +200,7 @@ echo "======== clang 9, thread sanitizer =========="
 
 git clean -q -f -d -x
 
-./configure CC=clang-9 --disable-stdlib-manpages --disable-dependency-generation
+./configure CC=clang-9 --disable-stdlib-manpages --enable-dependency-generation
 
 # Select thread sanitizer
 # Don't optimize too much to get better backtraces of errors

tools/ci/inria/main

@@ -125,7 +125,7 @@ host=''
 conffile=Makefile.config
 make=make
 instdir="$HOME/ocaml-tmp-install"
-confoptions="--enable-ocamltest --disable-dependency-generation \
+confoptions="--enable-ocamltest --enable-dependency-generation \
 ${OCAML_CONFIGURE_OPTIONS}"
 make_native=true
 cleanup=false