From 0231469f6f9c6e59ae1574c72e446ed272490566 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Sat, 24 Mar 2007 12:01:30 +0000 Subject: Coq 8.1 becomes trunk. --- debian/patches/makefile.dpatch | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 debian/patches/makefile.dpatch (limited to 'debian/patches/makefile.dpatch') diff --git a/debian/patches/makefile.dpatch b/debian/patches/makefile.dpatch deleted file mode 100755 index b656a9bb..00000000 --- a/debian/patches/makefile.dpatch +++ /dev/null @@ -1,20 +0,0 @@ -#! /bin/sh /usr/share/dpatch/dpatch-run -## makefile.dpatch by Samuel Mimram -## -## All lines beginning with `## DP:' are a description of the patch. -## DP: Do not use ocamlopt to test grammar.cma, we don't want to use ocamlopt -## DP: when compiling on non-native archs. - -@DPATCH@ -diff -urNad coq-8.0pl3+8.1alpha~/Makefile coq-8.0pl3+8.1alpha/Makefile ---- coq-8.0pl3+8.1alpha~/Makefile 2006-04-07 15:08:12.000000000 +0000 -+++ coq-8.0pl3+8.1alpha/Makefile 2006-04-30 11:41:09.000000000 +0000 -@@ -1401,7 +1401,7 @@ - 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) $(BYTEFLAGS) -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 $@ -- cgit v1.2.3