diff options
author | David Allsopp <david.allsopp@metastack.com> | 2020-04-17 13:53:49 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2020-04-17 13:53:49 +0100 |
commit | 3a40b2fd94a98bf69ce8a73c62edb0081ae3bc70 (patch) | |
tree | 1ac50e3c63cf54594320590a3b6ca4fa90fe9adb /debugger | |
parent | 42b8c20cce4408a64feddbbb72e521c0bda282f0 (diff) | |
download | ocaml-3a40b2fd94a98bf69ce8a73c62edb0081ae3bc70.tar.gz |
Introduce Makefile.build_config.in
This moves the configure-generated parts of Makefile.common to a
separate (generated) Makefile, allowing Makefile.common to be a normal
Makefile.
OCaml's build system Makefile's now include Makefile.build_config (which
itself includes Makefile.config) but Makefile.config is still installed
as before. This allows configure to generate variables which are
specific to the build process and are not intended to be exported to the
installation.
Diffstat (limited to 'debugger')
-rw-r--r-- | debugger/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 9b8c11f0fd..a6c18c3b3b 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -15,8 +15,8 @@ ROOTDIR = .. --include $(ROOTDIR)/Makefile.config --include $(ROOTDIR)/Makefile.common +-include $(ROOTDIR)/Makefile.build_config +include $(ROOTDIR)/Makefile.common include $(ROOTDIR)/Makefile.best_binaries DYNLINKDIR=$(ROOTDIR)/otherlibs/dynlink |