diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-25 14:50:57 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-07 11:30:58 +0200 |
commit | 7c332bc24373ccedd85cb855683b0a4631180015 (patch) | |
tree | 8d30911d098e4c62fc3923a4f041c36091cfbef9 /configure | |
parent | 71beb177c8aa8688d4fff8d60ef3f637badba559 (diff) | |
download | ocaml-7c332bc24373ccedd85cb855683b0a4631180015.tar.gz |
Compute FLEXDLL_DIR during configure rather than during build
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -819,6 +819,7 @@ mklib AR shebangscripts long_shebang +flexdll_dir bootstrapping_flexdll flexdir ocamlc_cppflags @@ -2843,6 +2844,7 @@ instrumented_runtime=true force_instrumented_runtime=false instrumented_runtime_libs="" bootstrapping_flexdll=false +flexdll_dir= lib_dynlink=false lib_str=false lib_systhreads=false @@ -2979,6 +2981,7 @@ OCAML_VERSION_SHORT=5.1 + # TODO: rename this variable @@ -13094,6 +13097,7 @@ else { $as_echo "$as_me:${as_lineno-$LINENO}: result: $iflexdir$flexmsg" >&5 $as_echo "$iflexdir$flexmsg" >&6; } bootstrapping_flexdll=true + flexdll_dir=+flexdll # The submodule should be searched *before* any other -I paths internal_cppflags="-I $iflexdir $internal_cppflags" fi ;; #( |