diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-09-30 16:01:29 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-09-30 16:01:29 +0200 |
commit | 987b0814d721d583a96b362762760508f4d07a8d (patch) | |
tree | 4986ef87652b459f17dc3cc38badb43062e70eea /configure.ac | |
parent | 4754ce6ce74ad2871915acd09739ba0bc1e33023 (diff) | |
download | ocaml-987b0814d721d583a96b362762760508f4d07a8d.tar.gz |
Let make's default target build the compiler
This commit makes it possible to build the OCaml compiler according to
its configuration by simply runnning make. There is no need to specify
neither world nor world.opt explicitly, although the two targets
remain available.
This commit also introduces (and starts making use of) the
NATIVE_COMPILER build variable whosse value is true when the native
compiler is enabled and false otherwise.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 0934a91f78..d0b4f4275a 100644 --- a/configure.ac +++ b/configure.ac @@ -70,6 +70,7 @@ AC_CONFIG_AUX_DIR([build-aux]) ## Output variables AC_SUBST([CONFIGURE_ARGS]) +AC_SUBST([native_compiler]) AC_SUBST([VERSION], [AC_PACKAGE_VERSION]) AC_SUBST([CC]) # Note: This is present for the flexdll bootstrap where it exposed as the old |