diff options
Diffstat (limited to 'dev-lang/mercury-extras/files/mercury-extras-0.13.0-trailed_update.patch')
| -rw-r--r-- | dev-lang/mercury-extras/files/mercury-extras-0.13.0-trailed_update.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/dev-lang/mercury-extras/files/mercury-extras-0.13.0-trailed_update.patch b/dev-lang/mercury-extras/files/mercury-extras-0.13.0-trailed_update.patch new file mode 100644 index 000000000000..9d944d52d6e3 --- /dev/null +++ b/dev-lang/mercury-extras/files/mercury-extras-0.13.0-trailed_update.patch @@ -0,0 +1,23 @@ +--- mercury-extras-0.13.0.orig/trailed_update/Mmakefile 2004-07-30 19:03:46.000000000 +1200 ++++ mercury-extras-0.13.0/trailed_update/Mmakefile 2006-09-17 09:21:08.000000000 +1200 +@@ -4,6 +4,10 @@ + # Public License - see the file COPYING.LIB in the Mercury distribution. + #-----------------------------------------------------------------------------# + ++LIBGRADES := $(foreach grade,$(LIBGRADES), \ ++ $(subst .tr.,$(grade),$(findstring .tr.,$(grade))) \ ++ $(filter %.tr,$(grade))) ++ + GRADEFLAGS += --use-trail + + # enable C debugging +@@ -30,6 +34,9 @@ + cd samples && mmake $(MMAKEFLAGS) check + cd tests && mmake $(MMAKEFLAGS) check + ++.PHONY: install ++install: libtrailed_update.install ++ + .PHONY: clean + clean: + cd samples && mmake $(MMAKEFLAGS) clean |