[Pkg-ocaml-maint-commits] r4171 - in /trunk/packages/coq: trunk/debian/ trunk/debian/utils/ upstream/

[smimram at users.alioth.debian.org]

Author: smimram
Date: Sat Aug 18 20:34:57 2007
New Revision: 4171

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4171
Log:
New upstream release.

Added:
    trunk/packages/coq/trunk/debian/purify_tarball
      - copied, changed from r3719, trunk/packages/coq/trunk/debian/utils/purify_tarball
    trunk/packages/coq/upstream/coq_8.1.pl1+dfsg.orig.tar.gz   (with props)
Removed:
    trunk/packages/coq/trunk/debian/utils/
    trunk/packages/coq/upstream/coq_8.1+dfsg.orig.tar.gz
Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/coq.menu
    trunk/packages/coq/trunk/debian/coqide.desktop
    trunk/packages/coq/trunk/debian/coqide.menu
    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=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Sat Aug 18 20:34:57 2007
@@ -1,3 +1,9 @@
+coq (8.1.pl1+dfsg-1) unstable; urgency=low
+
+  * New upstream release.
+
+ -- Samuel Mimram <smimram at debian.org>  Sat, 18 Aug 2007 20:59:45 +0200
+
 coq (8.1+dfsg-6) unstable; urgency=low
 
   * Add dependencies on ${misc:Depends}, closes: #431679.

Modified: trunk/packages/coq/trunk/debian/coq.menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coq.menu?rev=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coq.menu (original)
+++ trunk/packages/coq/trunk/debian/coq.menu Sat Aug 18 20:34:57 2007
@@ -1,4 +1,4 @@
 ?package(coq):command="/usr/bin/coqtop" \
   icon="/usr/share/pixmaps/coq.xpm" \
   needs="text" \
-  section="Apps/Math" title="Coq"
+  section="Applications/Science/Mathematics" title="Coq"

Modified: trunk/packages/coq/trunk/debian/coqide.desktop
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coqide.desktop?rev=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coqide.desktop (original)
+++ trunk/packages/coq/trunk/debian/coqide.desktop Sat Aug 18 20:34:57 2007
@@ -4,6 +4,6 @@
 Comment=Graphical interface for the Coq proof assistant
 Exec=coqide
 Type=Application
-Categories=Application;Development;Science;Math;IDE;GTK;
+Categories=Development;Science;Math;IDE;GTK;
 Terminal=false
 Icon=coq

Modified: trunk/packages/coq/trunk/debian/coqide.menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/coqide.menu?rev=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/coqide.menu (original)
+++ trunk/packages/coq/trunk/debian/coqide.menu Sat Aug 18 20:34:57 2007
@@ -1,4 +1,4 @@
 ?package(coqide):command="/usr/bin/coqide" \
   icon="/usr/share/pixmaps/coqide.xpm" \
   needs="X11" \
-  section="Apps/Math" title="CoqIDE"
+  section="Applications/Science/Mathematics" title="CoqIDE"

Copied: trunk/packages/coq/trunk/debian/purify_tarball (from r3719, trunk/packages/coq/trunk/debian/utils/purify_tarball)
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/purify_tarball?rev=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/utils/purify_tarball (original)
+++ trunk/packages/coq/trunk/debian/purify_tarball Sat Aug 18 20:34:57 2007
@@ -6,7 +6,7 @@
 ORIG=$1
 WORKDIR=`dirname $ORIG`
 ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.]\+\)\.tar\.gz$/\1/"`
+VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z]\+\)\.tar\.gz$/\1/"`
 
 cd $WORKDIR
 

Modified: trunk/packages/coq/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/rules?rev=4171&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/rules (original)
+++ trunk/packages/coq/trunk/debian/rules Sat Aug 18 20:34:57 2007
@@ -13,7 +13,7 @@
 COQPREF := $(CURDIR)/debian/tmp
 ADDPREF := COQINSTALLPREFIX=$(COQPREF)
 
-CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
+CONFIGUREOPTS := --arch Linux --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all
 
 configure: configure-stamp
 configure-stamp:
@@ -57,8 +57,8 @@
 	dh_testroot
 	rm -f build-stamp configure-stamp opt-stamp
 
-	-$(MAKE) clean
-	-$(MAKE) archclean
+	[ ! -f config/Makefile ] || $(MAKE) clean
+	[ ! -f config/Makefile ] || $(MAKE) archclean
 	rm -f bin/*
 	rm -f tools/coqdoc/*.cm[oi]
 	rm -f config/coq_config.ml config/Makefile test-suite/check.log

Added: trunk/packages/coq/upstream/coq_8.1.pl1+dfsg.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/upstream/coq_8.1.pl1%2Bdfsg.orig.tar.gz?rev=4171&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/coq/upstream/coq_8.1.pl1+dfsg.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream