The following commit has been merged in the master branch:
commit 56f3368635e32e891701859d8345fb98b7da6fd7
Author: Samuel Mimram <[EMAIL PROTECTED]>
Date: Fri Jul 25 15:39:04 2008 +0200
Updated and removed old patches.
diff --git a/debian/changelog b/debian/changelog
index 6123563..1ecb0b0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low
* New upstream release.
+ * Updated patches and removed coqdoc_stdlib, makefile, configure and
+ cmxa-install obsolete patches.
- -- Samuel Mimram <[EMAIL PROTECTED]> Fri, 25 Jul 2008 15:13:01 +0200
+ -- Samuel Mimram <[EMAIL PROTECTED]> Fri, 25 Jul 2008 15:37:19 +0200
coq (8.1.pl3+dfsg-1) unstable; urgency=low
diff --git a/debian/patches/00list b/debian/patches/00list
index bf00e3c..96c8fc3 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,7 +1,3 @@
-coqdoc_stdlib
browser
-makefile
no-complexity-test
-configure
-cmxa-install
check
diff --git a/debian/patches/browser.dpatch b/debian/patches/browser.dpatch
index 9a15372..1564795 100755
--- a/debian/patches/browser.dpatch
+++ b/debian/patches/browser.dpatch
@@ -5,15 +5,15 @@
## DP: Use the default Debian browser for help.
@DPATCH@
-diff -urNad coq-8.1.pl2+dfsg~/lib/options.ml coq-8.1.pl2+dfsg/lib/options.ml
---- coq-8.1.pl2+dfsg~/lib/options.ml 2007-10-15 11:00:52.000000000 +0000
-+++ coq-8.1.pl2+dfsg/lib/options.ml 2007-10-15 11:01:51.000000000 +0000
-@@ -118,7 +118,4 @@
- "\" must contain exactly one placeholder \"%s\".")
- else pre,post
+diff -urNad coq~/lib/flags.ml coq/lib/flags.ml
+--- coq~/lib/flags.ml 2008-07-25 15:13:00.000000000 +0200
++++ coq/lib/flags.ml 2008-07-25 15:30:47.000000000 +0200
+@@ -126,7 +126,4 @@
+ let coq_netscape_remote_var = "COQREMOTEBROWSER" in
+ Sys.getenv coq_netscape_remote_var
with
- Not_found ->
- if Sys.os_type = "Win32"
-- then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE ", ""
-- else "firefox -remote \"OpenURL(", ")\""
-+ Not_found -> "/usr/bin/x-www-browser ", ""
+- then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE %s"
+- else "firefox -remote \"OpenURL(%s,new-tab)\" || firefox %s &"
++ Not_found -> "/usr/bin/x-www-browser %s &"
diff --git a/debian/patches/check.dpatch b/debian/patches/check.dpatch
index 620b18a..d0cb390 100755
--- a/debian/patches/check.dpatch
+++ b/debian/patches/check.dpatch
@@ -5,9 +5,9 @@
## DP: Suppress warnings from tests outputs.
@DPATCH@
-diff -urNad coq-8.1.pl2+dfsg~/test-suite/check
coq-8.1.pl2+dfsg/test-suite/check
---- coq-8.1.pl2+dfsg~/test-suite/check 2007-11-29 14:02:40.000000000 +0000
-+++ coq-8.1.pl2+dfsg/test-suite/check 2007-11-29 14:03:39.000000000 +0000
+diff -urNad coq~/test-suite/check coq/test-suite/check
+--- coq~/test-suite/check 2008-07-25 15:36:31.000000000 +0200
++++ coq/test-suite/check 2008-07-25 15:36:31.000000000 +0200
@@ -52,7 +52,7 @@
nbtests=`expr $nbtests + 1`
printf " "$f"..."
diff --git a/debian/patches/cmxa-install.dpatch
b/debian/patches/cmxa-install.dpatch
deleted file mode 100755
index 7e8d2ff..0000000
--- a/debian/patches/cmxa-install.dpatch
+++ /dev/null
@@ -1,23 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## cmxa-install.dpatch by Samuel Mimram <[EMAIL PROTECTED]>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: .cmxa are not generated on non-native archs, so don't install them.
-
[EMAIL PROTECTED]@
-diff -urNad coq-8.1+dfsg~/Makefile coq-8.1+dfsg/Makefile
---- coq-8.1+dfsg~/Makefile 2007-02-18 13:25:29.000000000 +0100
-+++ coq-8.1+dfsg/Makefile 2007-02-18 13:27:28.000000000 +0100
-@@ -1272,7 +1272,11 @@
- parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
- parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma
-
--OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
-+ifeq ($(BEST),opt)
-+ OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
-+else
-+ OBJECTCMXA=
-+endif
-
- install-library:
- $(MKDIR) $(FULLCOQLIB)
diff --git a/debian/patches/configure.dpatch b/debian/patches/configure.dpatch
deleted file mode 100755
index db3ef2a..0000000
--- a/debian/patches/configure.dpatch
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## configure.dpatch by Pierre Letouzey <[EMAIL PROTECTED]>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Correctly detect whether ocamlopt is present or not.
-
[EMAIL PROTECTED]@
-diff -urNad coq-8.1+dfsg~/configure coq-8.1+dfsg/configure
---- coq-8.1+dfsg~/configure 2007-02-10 08:32:28.000000000 +0000
-+++ coq-8.1+dfsg/configure 2007-02-15 12:58:56.000000000 +0000
-@@ -340,7 +340,7 @@
- # do we have a native compiler: test of ocamlopt and its version
-
- if [ "$best_compiler" = "opt" ] ; then
-- if test -e `which "$nativecamlc"` ; then
-+ if test -e "`which $nativecamlc`" ; then
- CAMLOPTVERSION=`"$nativecamlc" -v | sed -n -e 's|.*version*
*\(.*\)$|\1|p' `
- if [ "$CAMLOPTVERSION" != "$CAMLVERSION" ] ; then
- echo "native and bytecode compilers do not have the same version!"; fi
diff --git a/debian/patches/coqdoc_stdlib.dpatch
b/debian/patches/coqdoc_stdlib.dpatch
deleted file mode 100755
index f59f52e..0000000
--- a/debian/patches/coqdoc_stdlib.dpatch
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## coqdoc_stdlib.dpatch by Samuel Mimram <[EMAIL PROTECTED]>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Add an option to coqdoc to be able to use a custom stdlib path in order
-## DP: to be able to build the documentation before coqdoc is installed.
-
[EMAIL PROTECTED]@
-diff -urNad coq-8.1.pl2+dfsg~/doc/Makefile coq-8.1.pl2+dfsg/doc/Makefile
---- coq-8.1.pl2+dfsg~/doc/Makefile 2007-10-15 11:45:13.000000000 +0000
-+++ coq-8.1.pl2+dfsg/doc/Makefile 2007-10-15 11:45:40.000000000 +0000
-@@ -222,6 +222,7 @@
- mkdir stdlib/html
- (cd stdlib/html;\
- $(COQDOC) -q --multi-index --html --glob-from $(GLOBDUMP)\
-+ --coqlib_path $(COQSRC) \
- -R $(COQSRC)/theories Coq $(COQSRC)/theories/*/*.v)
- mv stdlib/html/index.html stdlib/index-body.html
-
diff --git a/debian/patches/makefile.dpatch b/debian/patches/makefile.dpatch
deleted file mode 100755
index d16030c..0000000
--- a/debian/patches/makefile.dpatch
+++ /dev/null
@@ -1,20 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## makefile.dpatch by Samuel Mimram <[EMAIL PROTECTED]>
-##
-## 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.
-
[EMAIL PROTECTED]@
-diff -urNad coq-8.1.pl2+dfsg~/Makefile coq-8.1.pl2+dfsg/Makefile
---- coq-8.1.pl2+dfsg~/Makefile 2007-10-15 11:02:54.000000000 +0000
-+++ coq-8.1.pl2+dfsg/Makefile 2007-10-15 11:03:55.000000000 +0000
-@@ -1479,7 +1479,7 @@
- parsing/grammar.cma: $(GRAMMARCMO)
- $(SHOW)'Testing $@'
- @touch test.ml4
-- $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENSIONS)
$(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar
-+ $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENSIONS)
$(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar
- @rm -f test-grammar test.*
- $(SHOW)'OCAMLC -a $@'
- $(HIDE)$(OCAMLC) $(BYTEFLAGS) $(GRAMMARCMO) -linkall -a -o $@
diff --git a/debian/patches/no-complexity-test.dpatch
b/debian/patches/no-complexity-test.dpatch
old mode 100644
new mode 100755
index bf89f1f..5f9bff6
--- a/debian/patches/no-complexity-test.dpatch
+++ b/debian/patches/no-complexity-test.dpatch
@@ -5,13 +5,13 @@
## DP: Don't run complexity tests, they are far too fragile.
@DPATCH@
-diff -urNad coq-8.1gamma~/test-suite/check coq-8.1gamma/test-suite/check
---- coq-8.1gamma~/test-suite/check 2006-11-03 14:07:27.000000000 +0100
-+++ coq-8.1gamma/test-suite/check 2006-11-23 15:19:49.000000000 +0100
-@@ -145,8 +145,8 @@
- test_parser parser
- echo "Interactive tests"
+diff -urNad coq~/test-suite/check coq/test-suite/check
+--- coq~/test-suite/check 2008-07-25 15:13:00.000000000 +0200
++++ coq/test-suite/check 2008-07-25 15:33:55.000000000 +0200
+@@ -250,8 +250,8 @@
test_interactive interactive
+ echo "Micromega tests"
+ test_success micromega
-echo "Complexity tests"
-test_complexity complexity
+echo "Skipping complexity tests"
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
