[Pkg-ocaml-maint-commits] r3654 - in
/trunk/packages/coq/trunk/debian: changelog coq-libs.dirs
coq-libs.doc-base patches/browser.dpatch patches/coqdoc_stdlib.dpatch
patches/makefile.dpatch
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Mon Apr 9 15:19:11 UTC 2007
Author: smimram
Date: Mon Apr 9 15:19:11 2007
New Revision: 3654
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3654
Log:
Uploading to unstable.
Added:
trunk/packages/coq/trunk/debian/coq-libs.dirs
trunk/packages/coq/trunk/debian/coq-libs.doc-base
trunk/packages/coq/trunk/debian/patches/browser.dpatch (with props)
trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch (with props)
trunk/packages/coq/trunk/debian/patches/makefile.dpatch (with props)
Modified:
trunk/packages/coq/trunk/debian/changelog
Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=3654&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Mon Apr 9 15:19:11 2007
@@ -1,3 +1,9 @@
+coq (8.1+dfsg-3) unstable; urgency=low
+
+ * Uploading to unstable.
+
+ -- Samuel Mimram <smimram at debian.org> Mon, 09 Apr 2007 16:48:46 +0200
+
coq (8.1+dfsg-2) experimental; urgency=low
* Added cmxa-install.dpatch to install cmxa only on native archs,
Added: trunk/packages/coq/trunk/debian/coq-libs.dirs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq-libs.dirs?rev=3654&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/coq-libs.dirs (added)
+++ trunk/packages/coq/trunk/debian/coq-libs.dirs Mon Apr 9 15:19:11 2007
@@ -1,0 +1,2 @@
+usr/share/doc/coq-libs
+usr/share/doc/coq
Added: trunk/packages/coq/trunk/debian/coq-libs.doc-base
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq-libs.doc-base?rev=3654&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/coq-libs.doc-base (added)
+++ trunk/packages/coq/trunk/debian/coq-libs.doc-base Mon Apr 9 15:19:11 2007
@@ -1,0 +1,9 @@
+Document: coq-library
+Title: The Coq Standard Library
+Author: The Coq Development Team
+Abstract: Standard Library documentation of version 8.0 of the Coq proof assistant which is a system designed to develop mathematical proofs, and especially to write formal specifications, programs and to verify that programs are correct with respect to their specification.
+Section: Apps/Math
+
+Format: HTML
+Index: /usr/share/doc/coq-libs/html/index.html
+Files: /usr/share/doc/coq-libs/html/*.html
Added: trunk/packages/coq/trunk/debian/patches/browser.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/browser.dpatch?rev=3654&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/browser.dpatch (added)
+++ trunk/packages/coq/trunk/debian/patches/browser.dpatch Mon Apr 9 15:19:11 2007
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## browser.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Use the default Debian browser for help.
+
+ at DPATCH@
+diff -urNad coq-8.0pl3+8.1alpha~/lib/options.ml coq-8.0pl3+8.1alpha/lib/options.ml
+--- coq-8.0pl3+8.1alpha~/lib/options.ml 2005-12-26 20:07:21.000000000 +0000
++++ coq-8.0pl3+8.1alpha/lib/options.ml 2006-04-29 16:06:20.000000000 +0000
+@@ -117,7 +117,4 @@
+ "\" must contain exactly one placeholder \"%s\".")
+ else pre,post
+ with
+- Not_found ->
+- if Sys.os_type = "Win32"
+- then "C:\\PROGRA~1\\INTERN~1\\IEXPLORE ", ""
+- else "netscape -remote \"OpenURL(", ")\""
++ Not_found -> "/usr/bin/x-www-browser ", ""
Propchange: trunk/packages/coq/trunk/debian/patches/browser.dpatch
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch?rev=3654&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch (added)
+++ trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch Mon Apr 9 15:19:11 2007
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## coqdoc_stdlib.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## 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.
+
+ at DPATCH@
+diff -urNad coq-8.0pl3+8.1beta~/doc/Makefile coq-8.0pl3+8.1beta/doc/Makefile
+--- coq-8.0pl3+8.1beta~/doc/Makefile 2006-06-16 13:02:33.000000000 +0000
++++ coq-8.0pl3+8.1beta/doc/Makefile 2006-06-16 13:19:11.000000000 +0000
+@@ -216,6 +216,7 @@
+ mkdir stdlib/html
+ (cd stdlib/html;\
+ $(COQDOC) -q --multi-index --html --glob-from $(GLOBDUMP)\
++ --coqlib_path $(COQTOP) \
+ -R $(COQTOP)/theories Coq $(COQTOP)/theories/*/*.v)
+ mv stdlib/html/index.html stdlib/index-body.html
+
Propchange: trunk/packages/coq/trunk/debian/patches/coqdoc_stdlib.dpatch
------------------------------------------------------------------------------
svn:executable = *
Added: trunk/packages/coq/trunk/debian/patches/makefile.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/makefile.dpatch?rev=3654&op=file
==============================================================================
--- trunk/packages/coq/trunk/debian/patches/makefile.dpatch (added)
+++ trunk/packages/coq/trunk/debian/patches/makefile.dpatch Mon Apr 9 15:19:11 2007
@@ -1,0 +1,20 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## makefile.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## 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.
+
+ at 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 $@
Propchange: trunk/packages/coq/trunk/debian/patches/makefile.dpatch
------------------------------------------------------------------------------
svn:executable = *
More information about the Pkg-ocaml-maint-commits
mailing list