[Pkg-ocaml-maint-commits] r4930 - in /trunk/packages/why: trunk/debian/changelog trunk/debian/control trunk/debian/patches/ trunk/debian/patches/00list trunk/debian/patches/install.dpatch trunk/debian/rules upstream/why_2.04.dfsg.orig.tar.gz upstream/why_2.10.dfsg.orig.tar.gz

Wed Dec 26 13:19:14 UTC 2007

Author: smimram
Date: Wed Dec 26 13:19:13 2007
New Revision: 4930

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

Added:
    trunk/packages/why/trunk/debian/patches/
    trunk/packages/why/trunk/debian/patches/00list
    trunk/packages/why/trunk/debian/patches/install.dpatch   (with props)
    trunk/packages/why/upstream/why_2.10.dfsg.orig.tar.gz   (with props)
Removed:
    trunk/packages/why/upstream/why_2.04.dfsg.orig.tar.gz
Modified:
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/control
    trunk/packages/why/trunk/debian/rules

Modified: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=4930&op=diff
==============================================================================

--- trunk/packages/why/trunk/debian/changelog (original)
+++ trunk/packages/why/trunk/debian/changelog Wed Dec 26 13:19:13 2007
@@ -1,3 +1,11 @@
+why (2.10.dfsg-1) unstable; urgency=low
+
+  * New upstream release.
+  * Add dpatch support.
+  * Added install.dpatch to correctly install gwhy.
+
+ -- Samuel Mimram <smimram at debian.org>  Wed, 26 Dec 2007 14:15:38 +0100
+
 why (2.04.dfsg-4) unstable; urgency=low
 
   * Rebuild with latest version of coq.

Modified: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=4930&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/control (original)
+++ trunk/packages/why/trunk/debian/control Wed Dec 26 13:19:13 2007
@@ -2,7 +2,7 @@
 Section: math
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
-Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-2), ocamlweb
+Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-2), ocamlweb, libocamlgraph-ocaml-dev, dpatch
 Standards-Version: 3.7.3
 
 Package: why

Added: trunk/packages/why/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/00list?rev=4930&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/patches/00list (added)
+++ trunk/packages/why/trunk/debian/patches/00list Wed Dec 26 13:19:13 2007
@@ -1,0 +1,1 @@
+install

Added: trunk/packages/why/trunk/debian/patches/install.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/patches/install.dpatch?rev=4930&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/patches/install.dpatch (added)
+++ trunk/packages/why/trunk/debian/patches/install.dpatch Wed Dec 26 13:19:13 2007
@@ -1,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## install.dpatch by Samuel Mimram <smimram at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Correct installation.
+
+ at DPATCH@
+diff -urNad why-2.10.dfsg~/Makefile.in why-2.10.dfsg/Makefile.in
+--- why-2.10.dfsg~/Makefile.in	2007-12-21 09:34:10.000000000 +0100
++++ why-2.10.dfsg/Makefile.in	2007-12-26 14:14:26.000000000 +0100
+@@ -637,7 +637,7 @@
+ 	cp -f $(CADUCEUS) $(BINDIR)/caduceus$(EXE)
+ 	cp -f $(JESSIE) $(BINDIR)/jessie$(EXE)
+ 	cp -f $(KRAKATOA) $(BINDIR)/krakatoa$(EXE)
+-	cp -f bin/gwhy.sh $(BINDIR)/gwhy
++	cp -f bin/gwhy.$(OCAMLBEST) $(BINDIR)/gwhy
+ 	cp -f $(WHY2HTML) $(BINDIR)/why2html$(EXE)
+ 	cp -f $(DP) $(BINDIR)/dp$(EXE)
+ 	cp -f $(CPULIMIT) $(BINDIR)/cpulimit$(EXE)

Propchange: trunk/packages/why/trunk/debian/patches/install.dpatch
------------------------------------------------------------------------------
    svn:executable = *

Modified: trunk/packages/why/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/rules?rev=4930&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/rules (original)
+++ trunk/packages/why/trunk/debian/rules Wed Dec 26 13:19:13 2007
@@ -9,6 +9,7 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
+include /usr/share/dpatch/dpatch.make
 
 # These are used for cross-compiling and for saving the configure script
 # from having to guess our platform (since we know it already)
@@ -34,13 +35,13 @@
 	    --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" \
 	    LDFLAGS="-Wl,-z,defs"
 
-build: build-stamp
+build: patch-stamp build-stamp
 build-stamp: config.status
 	dh_testdir
 	$(MAKE)
 	touch $@
 
-clean:
+clean: unpatch
 	dh_testdir
 	dh_testroot
 	rm -f build-stamp

Added: trunk/packages/why/upstream/why_2.10.dfsg.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/upstream/why_2.10.dfsg.orig.tar.gz?rev=4930&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/why/upstream/why_2.10.dfsg.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream


