[m-rev.] packaging patch: Remove unnecessary patch

Paul Bone paul at bone.id.au
Sun Nov 18 16:27:59 AEDT 2018


Remove unnecessary patch

debian/patches/dynlink:
    Remove this patch.
---
 debian/patches/dynlink | 58 ------------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 debian/patches/dynlink

diff --git a/debian/patches/dynlink b/debian/patches/dynlink
deleted file mode 100644
index 7623849..0000000
--- a/debian/patches/dynlink
+++ /dev/null
@@ -1,58 +0,0 @@
-
-Dynamically link the Mercury tools.
-
---- a/compiler/Mmakefile
-+++ b/compiler/Mmakefile
-@@ -7,7 +7,7 @@
- # Mmake - this is Mmake file for building the Mercury compiler 
- 
- MERCURY_DIR=..
--LINK_STATIC=yes
-+LINK_STATIC=no
- include $(MERCURY_DIR)/Mmake.common
- 
- # Override the settings in ../Mmake.workspace so that in debugging grades we
---- a/deep_profiler/Mmakefile
-+++ b/deep_profiler/Mmakefile
-@@ -7,7 +7,7 @@
- # This is the Mmakefile for building the Mercury deep profiler.
- 
- MERCURY_DIR=..
--LINK_STATIC=yes
-+LINK_STATIC=no
- include $(MERCURY_DIR)/Mmake.common
- 
- #----------------------------------------------------------------------------#
---- a/mfilterjavac/Mmakefile
-+++ b/mfilterjavac/Mmakefile
-@@ -7,7 +7,7 @@
- # This is the Mmakefile for building the mfilterjavac tool.
- 
- MERCURY_DIR=..
--LINK_STATIC=yes
-+LINK_STATIC=no
- include $(MERCURY_DIR)/Mmake.common
- 
- #----------------------------------------------------------------------------#
---- a/profiler/Mmakefile
-+++ b/profiler/Mmakefile
-@@ -7,7 +7,7 @@
- # Mmake - this is Mmake file for building the Mercury profiler
- 
- MERCURY_DIR=..
--LINK_STATIC=yes
-+LINK_STATIC=no
- include $(MERCURY_DIR)/Mmake.common
- 
- # Module-specific options should go in Mercury.options so they
---- a/slice/Mmakefile
-+++ b/slice/Mmakefile
-@@ -7,7 +7,7 @@
- # Mmakefile for building the Mercury slice and dice tools.
- 
- MERCURY_DIR=..
--LINK_STATIC=yes
-+LINK_STATIC=no
- include $(MERCURY_DIR)/Mmake.common
- 
- #----------------------------------------------------------------------------#
-- 
2.17.1



More information about the reviews mailing list