diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.0-libgrades.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.0-libgrades.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.0-libgrades.patch b/dev-lang/mercury/files/mercury-0.13.0-libgrades.patch index 50a2a4266c92..fe027c4d083d 100644 --- a/dev-lang/mercury/files/mercury-0.13.0-libgrades.patch +++ b/dev-lang/mercury/files/mercury-0.13.0-libgrades.patch @@ -1,16 +1,3 @@ ---- mercury-compiler-0.13.0.orig/Makefile 2005-08-22 15:38:34.000000000 +1200 -+++ mercury-compiler-0.13.0/Makefile 2006-09-16 22:10:24.000000000 +1200 -@@ -28,6 +28,10 @@ - all: - $(MMAKE) MMAKEFLAGS=$(PARALLEL) all - -+.PHONY: libgrades -+libgrades: -+ $(MMAKE) MMAKEFLAGS=$(PARALLEL) libgrades -+ - .PHONY: libmmc - libmmc: - $(MMAKE) MMAKEFLAGS=$(PARALLEL) libmmc --- mercury-compiler-0.13.0.orig/Mmakefile 2005-08-12 03:56:57.000000000 +1200 +++ mercury-compiler-0.13.0/Mmakefile 2006-09-16 11:58:30.000000000 +1200 @@ -281,6 +281,54 @@ |