diff options
Diffstat (limited to 'dev-lang/mercury-extras/files/mercury-extras-0.13.1-dynamic_linking.patch')
| -rw-r--r-- | dev-lang/mercury-extras/files/mercury-extras-0.13.1-dynamic_linking.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-lang/mercury-extras/files/mercury-extras-0.13.1-dynamic_linking.patch b/dev-lang/mercury-extras/files/mercury-extras-0.13.1-dynamic_linking.patch deleted file mode 100644 index 940323e0495d..000000000000 --- a/dev-lang/mercury-extras/files/mercury-extras-0.13.1-dynamic_linking.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- mercury-extras-0.13.1.orig/dynamic_linking/Mmakefile 2005-01-25 20:49:05.000000000 +1300 -+++ mercury-extras-0.13.1/dynamic_linking/Mmakefile 2006-12-04 21:59:53.000000000 +1300 -@@ -11,7 +11,7 @@ - MLFLAGS = --shared - - # Link in the `-ldl' library (this may not be needed on some systems) --MLLIBS = -ldl -+MLLIBS = -L/usr/lib -ldl - - # enable C-level debugging - CFLAGS = -g |