diff options
| -rw-r--r-- | debian/changelog | 6 | ||||
| -rw-r--r-- | debian/coq.menu | 2 | ||||
| -rw-r--r-- | debian/coqide.desktop | 2 | ||||
| -rw-r--r-- | debian/coqide.menu | 2 | ||||
| -rwxr-xr-x | debian/purify_tarball (renamed from debian/utils/purify_tarball) | 2 | ||||
| -rwxr-xr-x | debian/rules | 6 |
6 files changed, 13 insertions, 7 deletions
diff --git a/debian/changelog b/debian/changelog index aaccc9a9..84b48e29 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.1.pl1+dfsg-1) unstable; urgency=low + + * New upstream release. + + -- Samuel Mimram <smimram@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. diff --git a/debian/coq.menu b/debian/coq.menu index 0a1e30f7..0552ecb8 100644 --- a/debian/coq.menu +++ b/debian/coq.menu @@ -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" diff --git a/debian/coqide.desktop b/debian/coqide.desktop index c56bfec4..8c1a0c60 100644 --- a/debian/coqide.desktop +++ b/debian/coqide.desktop @@ -4,6 +4,6 @@ Name=CoqIDE Proof Assistant 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 diff --git a/debian/coqide.menu b/debian/coqide.menu index 2bf7d541..93feca90 100644 --- a/debian/coqide.menu +++ b/debian/coqide.menu @@ -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" diff --git a/debian/utils/purify_tarball b/debian/purify_tarball index ea7e08f1..4682a21c 100755 --- a/debian/utils/purify_tarball +++ b/debian/purify_tarball @@ -6,7 +6,7 @@ CURDIR=`pwd` 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 diff --git a/debian/rules b/debian/rules index 412c5f9a..d897124b 100755 --- a/debian/rules +++ b/debian/rules @@ -13,7 +13,7 @@ include /usr/share/dpatch/dpatch.make 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 @@ clean: unpatch 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 |