diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-24 13:19:52 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-07 11:30:59 +0200 |
| commit | ab66bcd6edde5b3c78ac19057cbbd4b154d16092 (patch) | |
| tree | 9444b865626945fd1e469451be4e44172372a573 /Makefile | |
| parent | 7c332bc24373ccedd85cb855683b0a4631180015 (diff) | |
| download | ocaml-ab66bcd6edde5b3c78ac19057cbbd4b154d16092.tar.gz | |
Introduce config.generated.ml
This is the fragment of the configure module which is presently generated
at build time from a template file but will ultimately be generated
at configure time.
Also make .gitignore more specific and explicit about what needs
to be ignored.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -91,7 +91,7 @@ CONFIG_MODULE_DEPENDENCIES = \ utils/config.ml: utils/config_main.ml utils/config_boot.ml $(MAKE) -C utils config.ml -utils/config_main.ml: utils/config.mlp $(CONFIG_MODULE_DEPENDENCIES) +utils/config_main.ml: utils/config.generated.mlp $(CONFIG_MODULE_DEPENDENCIES) $(MAKE) -C utils config_main.ml utils/config_boot.ml: utils/config.fixed.ml $(CONFIG_MODULE_DEPENDENCIES) @@ -112,8 +112,9 @@ configure: configure.ac aclocal.m4 build-aux/ocaml_version.m4 tools/autogen .PHONY: partialclean partialclean:: - rm -f utils/config.ml utils/config_main.ml utils/config_main.mli \ - utils/config_boot.ml utils/config_boot.mli \ + rm -f utils/config.ml utils/config.generated.ml \ + utils/config_main.ml utils/config_main.mli \ + utils/config_boot.ml utils/config_boot.mli \ utils/domainstate.ml utils/domainstate.mli .PHONY: beforedepend |