diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-06 09:16:19 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-06 09:16:19 +0200 |
commit | a6276e5a5d22412a08a124179e68b37ab35e5db4 (patch) | |
tree | 73a203cd196980a7a54340b351c9b172a9a16849 /tools | |
parent | 4a9a08dd4b6a9a3c16f13662bb0931e8b3c8b9cb (diff) | |
download | ocaml-a6276e5a5d22412a08a124179e68b37ab35e5db4.tar.gz |
Bootstrapping is now incompatible with disable-flat-float-array
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/inria/other-configs/script | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/inria/other-configs/script b/tools/ci/inria/other-configs/script index e74f55b9c8..97a24559a3 100755 --- a/tools/ci/inria/other-configs/script +++ b/tools/ci/inria/other-configs/script @@ -37,8 +37,8 @@ ${main} -conf --disable-native-compiler \ -conf --disable-ocamldoc \ -conf --disable-dependency-generation \ -no-native -${main} -with-bootstrap -conf --disable-flat-float-array +${main} -conf --disable-flat-float-array ${main} -conf --enable-flambda ${main} -conf --enable-reserved-header-bits=27 +${main} -with-bootstrap -conf --with-pic OCAMLRUNPARAM="c=1" ${main} -${main} -conf --with-pic |