[m-rev.] diff: fix source distribution builds

Julien Fischer jfischer at opturion.com
Sun Jan 12 23:54:47 AEDT 2020


Fix source distribution builds.

browser/Mmakefile:
compiler/Mmakefile:
      Restore the .PHONY directives on the Mercury.modules target as their
      absence is causing the source distribution builds to fail.

      Add an XXX comment about this.

Julien.

diff --git a/browser/Mmakefile b/browser/Mmakefile
index 4de0541..3acab92 100644
--- a/browser/Mmakefile
+++ b/browser/Mmakefile
@@ -166,6 +166,9 @@ depend_aux: browse_test.depend declarative_test.depend
  # This directory contains source files for which the module name
  # does not match the file name, so smart recompilation won't work
  # without the Mercury.modules file.
+# XXX this .PHONY directive is required when building the source
+# distribution -- why?
+.PHONY: Mercury.modules
  Mercury.modules: MDB_FLAGS
  	$(MC) $(ALL_GRADEFLAGS) $(ALL_MCFLAGS) -f *.m

diff --git a/compiler/Mmakefile b/compiler/Mmakefile
index 8461b94..fda76ef 100644
--- a/compiler/Mmakefile
+++ b/compiler/Mmakefile
@@ -93,6 +93,9 @@ $(MC_PROG).depend: Mercury.modules COMP_FLAGS
  # This directory contains source files for which the module
  # name doesn't match the file name, so smart recompilation
  # won't work without the Mercury.modules file.
+# XXX this .PHONY directive is required when building the source
+# distribution -- why?
+.PHONY: Mercury.modules
  Mercury.modules: COMP_FLAGS
  	$(MC) $(ALL_GRADEFLAGS) $(ALL_MCFLAGS) -f *.m



More information about the reviews mailing list