configure: make sure ocamlbuild_config.ml is rebuilt/PHONY

The configuration file depends on the current git state, so we should
build it at least as often as the user requests it with 'make
configure'.

Author: gasche

Makefile

@@ -173,15 +173,18 @@ beforedepend:: src/glob_lexer.ml
 
 # The config file
 
-configure: Makefile.config src/ocamlbuild_config.ml
+CONF_FILES=Makefile.config src/ocamlbuild_config.ml
+configure: $(CONF_FILES)
 
-Makefile.config src/ocamlbuild_config.ml: configure.make
+$(CONF_FILES):
 	$(MAKE) -f configure.make $@
 
+.PHONY: $(CONF_FILES)
+
 clean::
-	rm -f Makefile.config src/ocamlbuild_config.ml
+	rm -f $(CONF_FILES)
 
-beforedepend:: src/ocamlbuild_config.ml
+beforedepend:: configure
 
 # Installation
 

configure.make

@@ -83,6 +83,10 @@ Makefile.config:
 	echo "LIBDIR=$(OCAMLBUILD_LIBDIR)"; \
 	) > $@
 
+# the configuration file depends on the git environment,
+# so it should be rebuilt each time
+.PHONY: src/ocamlbuild_config.ml
+
 src/ocamlbuild_config.ml:
 	(echo "(* This file was generated from ../configure.make *)"; \
 	echo ;\