diff options
Diffstat (limited to 'debian/patches/non-native-archs.dpatch')
| -rwxr-xr-x | debian/patches/non-native-archs.dpatch | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/debian/patches/non-native-archs.dpatch b/debian/patches/non-native-archs.dpatch deleted file mode 100755 index cbb9f832..00000000 --- a/debian/patches/non-native-archs.dpatch +++ /dev/null @@ -1,32 +0,0 @@ -#! /bin/sh /usr/share/dpatch/dpatch-run -## non-native-archs.dpatch by Stephane Glondu <steph@glondu.net> -## -## All lines beginning with `## DP:' are a description of the patch. -## DP: Fix FTBFS on non-native architectures - -@DPATCH@ -diff --git a/Makefile.build b/Makefile.build -index a5bae4e..c47b688 100644 ---- a/Makefile.build -+++ b/Makefile.build -@@ -655,7 +655,10 @@ install-library: - $(MKDIR) $(FULLCOQLIB)/states - $(INSTALLLIB) states/*.coq $(FULLCOQLIB)/states - $(MKDIR) $(FULLCOQLIB)/user-contrib -- $(INSTALLLIB) $(LINKCMO) $(LINKCMX) $(GRAMMARCMA) $(FULLCOQLIB) -+ $(INSTALLLIB) $(LINKCMO) $(GRAMMARCMA) $(FULLCOQLIB) -+ifeq ($(BEST),opt) -+ $(INSTALLLIB) $(LINKCMX) $(FULLCOQLIB) -+endif - find . -name \*.cmi -exec $(INSTALLLIB) {} $(FULLCOQLIB) \; - - install-library-light: -@@ -716,7 +719,7 @@ dev/printers.cma: $(PRINTERSCMO) - parsing/grammar.cma: $(GRAMMARCMO) - $(SHOW)'Testing $@' - @touch test.ml4 -- $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar -+ $(HIDE)$(OCAMLC) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar - @rm -f test-grammar test.* - $(SHOW)'OCAMLC -a $@' - $(HIDE)$(OCAMLC) $(BYTEFLAGS) $(GRAMMARCMO) -linkall -a -o $@ |