[Pkg-ocaml-maint-commits] r3717 - in
/trunk/packages/coq/trunk/debian: changelog rules
smimram at users.alioth.debian.org
smimram at users.alioth.debian.org
Tue Apr 24 14:47:41 UTC 2007
Author: smimram
Date: Tue Apr 24 14:47:41 2007
New Revision: 3717
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3717
Log:
Correctly set Coq_config.best when rebuilding in byte mode.
Modified:
trunk/packages/coq/trunk/debian/changelog
trunk/packages/coq/trunk/debian/rules
Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=3717&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Tue Apr 24 14:47:41 2007
@@ -1,3 +1,9 @@
+coq (8.1+dfsg-4) unstable; urgency=low
+
+ * Correctly set Coq_config.best when rebuilding in byte mode.
+
+ -- Samuel Mimram <smimram at debian.org> Tue, 24 Apr 2007 14:46:59 +0000
+
coq (8.1+dfsg-3) unstable; urgency=low
* Uploading to unstable.
Modified: trunk/packages/coq/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/rules?rev=3717&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/rules (original)
+++ trunk/packages/coq/trunk/debian/rules Tue Apr 24 14:47:41 2007
@@ -36,6 +36,7 @@
|| (echo WARNING: NATIVE CODE COMPILATION FAILED \
&& echo Trying to build coq in bytecode instead \
&& $(MAKE) archclean clean \
+ && sed -i -e 's/best = "opt"/best = "byte"/' config/coq_config.ml \
&& $(MAKE) BEST=byte HASCOQIDE=byte check \
&& echo NATIVE CODE COMPILATION FAILED \
&& echo Coq was built in bytecode instead); \
More information about the Pkg-ocaml-maint-commits
mailing list