From ab66bcd6edde5b3c78ac19057cbbd4b154d16092 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Wed, 24 Aug 2022 13:19:52 +0200 Subject: 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. --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 32c5d39387..5c890317b3 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.1