[Pkg-ocaml-maint-commits] r3549 - in
/trunk/packages/coq/branches/8.1/debian: changelog rules
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Sun Feb 11 18:19:55 CET 2007
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
More information about the Pkg-ocaml-maint-commits
mailing list