[Pkg-ocaml-maint-commits] r3549 - in /trunk/packages/coq/branches/8.1/debian: changelog rules

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sun Feb 11 18:19:55 2007
New Revision: 3549

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3549
Log:
Correctly build glob.dump on non-native archs.

Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/rules

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=3549&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Sun Feb 11 18:19:55 2007
@@ -1,3 +1,9 @@
+coq (8.1~gamma-4) experimental; urgency=low
+
+  * Correctly build glob.dump on non-native archs, closes: #400535.
+
+ -- Samuel Mimram <smimram at debian.org>  Sun, 11 Feb 2007 18:02:49 +0100
+
 coq (8.1~gamma-3) experimental; urgency=low
 
   * Added next-ia64.dpatch to fix the FTBFS on ia64.

Modified: trunk/packages/coq/branches/8.1/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/rules?rev=3549&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/rules (original)
+++ trunk/packages/coq/branches/8.1/debian/rules Sun Feb 11 18:19:55 2007
@@ -42,7 +42,11 @@
 	else \
 		$(MAKE) BEST=byte HASCOQIDE=byte check; \
 	fi
-	$(MAKE) glob.dump
+	if [ -e opt-stamp ]; then \
+		$(MAKE) BEST=opt glob.dump; \
+	else \
+		$(MAKE) BEST=byte HASCOQIDE=byte glob.dump; \
+	fi
 	cp tools/coqdoc/coqdoc.sty doc/stdlib/
 	$(MAKE) -C doc stdlib/html/index.html
 	touch build-stamp