[Pkg-ocaml-maint-commits] r2938 - in /trunk/packages/coq/branches/8.1/debian: changelog patches/00list patches/assert.dpatch

[smimram at users.alioth.debian.org]

Author: smimram
Date: Thu Jul 13 16:29:04 2006
New Revision: 2938

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2938
Log:
Check assertions in native mode too.

Added:
    trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch   (with props)
Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/patches/00list

Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=2938&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Thu Jul 13 16:29:04 2006
@@ -1,8 +1,9 @@
 coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
 
   * New upstream beta release.
-
- -- Samuel Mimram <smimram at debian.org>  Thu, 13 Jul 2006 14:27:55 +0000
+  * Added assert.dpatch to check assertions in native mode.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 13 Jul 2006 16:28:24 +0000
 
 coq (8.0pl3+8.1beta-1) experimental; urgency=low
 

Modified: trunk/packages/coq/branches/8.1/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/00list?rev=2938&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/00list (original)
+++ trunk/packages/coq/branches/8.1/debian/patches/00list Thu Jul 13 16:29:04 2006
@@ -1,3 +1,4 @@
 coqdoc_stdlib
 browser
 makefile
+assert

Added: trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch?rev=2938&op=file
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch (added)
+++ trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch Thu Jul 13 16:29:04 2006
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## assert.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Check assertions in native mode too.
+
+ at DPATCH@
+diff -urNad coq-8.0pl3+8.1beta.2~/Makefile coq-8.0pl3+8.1beta.2/Makefile
+--- coq-8.0pl3+8.1beta.2~/Makefile	2006-06-25 22:17:49.000000000 +0000
++++ coq-8.0pl3+8.1beta.2/Makefile	2006-07-13 16:27:10.000000000 +0000
+@@ -74,7 +74,7 @@
+ MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
+ 
+ BYTEFLAGS=$(MLINCLUDES) $(CAMLDEBUG) $(USERFLAGS)
+-OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) $(USERFLAGS) -noassert
++OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) $(USERFLAGS)
+ OCAMLDEP=ocamldep
+ DEPFLAGS=$(LOCALINCLUDES)
+ 

Propchange: trunk/packages/coq/branches/8.1/debian/patches/assert.dpatch
------------------------------------------------------------------------------
    svn:executable = *