Permalink
Browse files

[build] Work around Mercury Bug 472

  • Loading branch information...
PaulBone committed Nov 9, 2018
1 parent c59847b commit c5c1fb9a55a3ba773308e228cae93e74a837f1e6
Showing with 7 additions and 3 deletions.
  1. +7 −3 Makefile
@@ -125,10 +125,14 @@ src/pzasm : $(MERCURY_SOURCES)
src/plasmac : $(MERCURY_SOURCES)
(cd src; $(MMC_MAKE) $(MCFLAGS) plasmac)
(cd src; touch plasmac)
src/pz.bytecode.m: pz_common.h pz_format.h pz_instructions.h
touch $@
src/pz.m: pz_common.h pz_format.h

# Work around Mercury bug https://bugs.mercurylang.org/view.php?id=472
src/pz.bytecode.m src/pz.bytecode.mh: pz_common.h pz_format.h pz_instructions.h
touch src/pz.bytecode.m
test -e src/pz.bytecode.mh && touch src/pz.bytecode.mh || true
src/pz.m src/pz.mh: pz_common.h pz_format.h
touch $@
test -e src/pz.mh && touch src/pz.mh || true

runtime/pzrun : $(C_OBJECTS)
$(CC) $(CFLAGS) -o $@ $^

0 comments on commit c5c1fb9

Please sign in to comment.