diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-04-14 19:27:03 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-04-14 19:27:03 +0200 |
| commit | 24b028c1fc433e46772ec19ec7adc5e2cc4d0100 (patch) | |
| tree | 3f56dbba5948946b9170d76b8be3b1c6a5fbe995 /tools | |
| parent | 878508c6ba3d2d25ec25c5f646b73af1275abd10 (diff) | |
| download | ocaml-24b028c1fc433e46772ec19ec7adc5e2cc4d0100.tar.gz | |
Add support for building and testing with flambda to the new CI script
If the flambda environment variable is set to true, the feature is
enabled in the build system.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci-build-new | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/ci-build-new b/tools/ci-build-new index 683711e96b..c4b238194d 100755 --- a/tools/ci-build-new +++ b/tools/ci-build-new @@ -173,6 +173,9 @@ git clean -f -d -x case $configure in unix) confoptions="$confoptions -with-debug-runtime" + if $flambda; then + confoptions="$confoptions -flambda" + fi eval "./configure -prefix '$instdir' $confoptions" ;; nt) @@ -180,6 +183,9 @@ case $configure in cp config/s-nt.h config/s.h cp config/Makefile.${OCAML_ARCH} config/Makefile sed -i 's%RUNTIMED=.\+%RUNTIMED=true%' config/Makefile + if $flambda; then + sed -i 's%FLAMBDA=.\+%FLAMBDA=true%' config/Makefile + fi ;; *) error "internal error";; esac |