The following commit has been merged in the master branch:
commit a88339e768ad1c3c36250dff659120236b900cf0
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 16:48:51 2008 +0200
glob.dump is not there anymore
diff --git a/debian/rules b/debian/rules
index e50ad14..50a6e64 100755
--- a/debian/rules
+++ b/debian/rules
@@ -50,11 +50,6 @@ build-stamp: configure-stamp
else \
$(MAKE) BEST=byte HASCOQIDE=byte check; \
fi
- 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) -f Makefile.stage3 doc/stdlib/html/index.html
COQDOC="bin/coqdoc --coqlib_path `pwd`"
touch build-stamp
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
