diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-11 13:56:18 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-27 15:15:36 +0200 |
| commit | 222a3b1d57479c461835c62b20b738b0c6ff8bd2 (patch) | |
| tree | bc3b36984fb598bcd3ff34fccbced0c089e462e2 /Makefile.build_config.in | |
| parent | a21a8e4d9b2194222b50839bf8e5bef7a56ff0d8 (diff) | |
| download | ocaml-222a3b1d57479c461835c62b20b738b0c6ff8bd2.tar.gz | |
Introduce and use the lib_runtime_events boolean configuration variable
The configure script sets this variable to "true" if the runtime_events
library has to be built. At the moment it is always built but this may
change.
Diffstat (limited to 'Makefile.build_config.in')
| -rw-r--r-- | Makefile.build_config.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.build_config.in b/Makefile.build_config.in index a1eb2948a6..812b8358ab 100644 --- a/Makefile.build_config.in +++ b/Makefile.build_config.in @@ -29,6 +29,9 @@ INSTALL ?= @INSTALL@ -p INSTALL_DATA ?= @INSTALL_DATA@ INSTALL_PROG ?= @INSTALL_PROGRAM@ +# Whether to build the runtime_events library +lib_runtime_events = @lib_runtime_events@ + # Whether to install the native toplevel (ocamlnat) INSTALL_OCAMLNAT = @install_ocamlnat@ |