[ppl] 23/68: Imported Debian patch 0.10.2-1
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:51 UTC 2016
This is an automated email from the git hooks/post-receive script.
tille pushed a commit to branch master
in repository ppl.
commit 4f5677a3acc25c5900c9e8479e298d6b23694b27
Merge: 958b45a 3d977d6
Author: Arthur Loiret <aloiret at debian.org>
Date: Mon May 11 22:08:57 2009 +0000
Imported Debian patch 0.10.2-1
ChangeLog | 193 +
NEWS | 17 +
README | 36 +-
TODO | 6 -
Watchdog/ChangeLog | 54 +
Watchdog/doc/Makefile.am | 3 +
Watchdog/doc/Makefile.in | 3 +
Watchdog/doc/fdl.pdf | Bin 56411 -> 56411 bytes
Watchdog/doc/fdl.ps.gz | Bin 63642 -> 63642 bytes
Watchdog/doc/gpl.pdf | Bin 69557 -> 69557 bytes
Watchdog/doc/gpl.ps.gz | Bin 80241 -> 80241 bytes
Watchdog/doc/pwl-user-0.7-html.tar.gz | Bin 69711 -> 69710 bytes
Watchdog/doc/pwl-user-0.7.pdf | Bin 241944 -> 241944 bytes
Watchdog/doc/pwl-user-0.7.ps.gz | Bin 174050 -> 174050 bytes
Watchdog/src/Makefile.am | 7 +
Watchdog/src/Makefile.in | 7 +
Watchdog/src/pwl.hh.dist | 84 +-
Watchdog/tests/Makefile.am | 3 +
Watchdog/tests/Makefile.in | 3 +
configure | 75 +-
configure.ac | 2 +-
debian/changelog | 10 +
debian/control | 4 +-
debian/patches/exception_tests_alpha | 79 -
debian/patches/series | 2 +-
debian/rules | 25 +-
demos/ppl_lcdd/Makefile.am | 6 +
demos/ppl_lcdd/Makefile.in | 6 +
demos/ppl_lcdd/ppl_lcdd.1 | 4 +-
demos/ppl_lcdd/ppl_lcdd.cc | 2 +-
demos/ppl_lpsol/Makefile.am | 3 +
demos/ppl_lpsol/Makefile.in | 3 +
demos/ppl_lpsol/ppl_lpsol.1 | 4 +-
doc/Makefile.am | 3 +
doc/Makefile.in | 3 +
doc/README.doc | 30 +-
doc/definitions.dox | 136 +-
doc/fdl.pdf | Bin 56411 -> 56411 bytes
doc/fdl.ps.gz | Bin 63642 -> 63642 bytes
doc/gpl.pdf | Bin 69557 -> 69557 bytes
doc/gpl.ps.gz | Bin 80241 -> 80241 bytes
doc/libppl.3 | 8 +-
doc/libppl_c.3 | 16 +-
doc/ppl-config.1 | 12 +-
doc/ppl-user-0.10.1pre13-html.tar.gz | Bin 859604 -> 0 bytes
doc/ppl-user-0.10.1pre13.ps.gz | Bin 1191666 -> 0 bytes
doc/ppl-user-0.10.2-html.tar.gz | Bin 0 -> 859476 bytes
...pl-user-0.10.1pre13.pdf => ppl-user-0.10.2.pdf} | 76296 ++++++++++---------
doc/ppl-user-0.10.2.ps.gz | Bin 0 -> 1193762 bytes
doc/ppl-user-c-interface-0.10.1pre13-html.tar.gz | Bin 166930 -> 0 bytes
doc/ppl-user-c-interface-0.10.1pre13.ps.gz | Bin 325206 -> 0 bytes
doc/ppl-user-c-interface-0.10.2-html.tar.gz | Bin 0 -> 166485 bytes
....1pre13.pdf => ppl-user-c-interface-0.10.2.pdf} | 7596 +-
doc/ppl-user-c-interface-0.10.2.ps.gz | Bin 0 -> 325241 bytes
...ppl-user-java-interface-0.10.1pre13-html.tar.gz | Bin 166270 -> 0 bytes
doc/ppl-user-java-interface-0.10.1pre13.ps.gz | Bin 324718 -> 0 bytes
doc/ppl-user-java-interface-0.10.2-html.tar.gz | Bin 0 -> 166033 bytes
...re13.pdf => ppl-user-java-interface-0.10.2.pdf} | 6648 +-
doc/ppl-user-java-interface-0.10.2.ps.gz | Bin 0 -> 324612 bytes
...pl-user-ocaml-interface-0.10.1pre13-html.tar.gz | Bin 71095 -> 0 bytes
doc/ppl-user-ocaml-interface-0.10.2-html.tar.gz | Bin 0 -> 71090 bytes
...e13.pdf => ppl-user-ocaml-interface-0.10.2.pdf} | Bin 239758 -> 239601 bytes
...ps.gz => ppl-user-ocaml-interface-0.10.2.ps.gz} | Bin 196062 -> 196053 bytes
...l-user-prolog-interface-0.10.1pre13-html.tar.gz | Bin 72613 -> 0 bytes
doc/ppl-user-prolog-interface-0.10.1pre13.ps.gz | Bin 230934 -> 0 bytes
doc/ppl-user-prolog-interface-0.10.2-html.tar.gz | Bin 0 -> 72546 bytes
...13.pdf => ppl-user-prolog-interface-0.10.2.pdf} | Bin 258171 -> 257972 bytes
doc/ppl-user-prolog-interface-0.10.2.ps.gz | Bin 0 -> 230915 bytes
interfaces/C/Makefile.am | 16 +-
interfaces/C/Makefile.in | 16 +-
interfaces/C/tests/Makefile.am | 3 +
interfaces/C/tests/Makefile.in | 3 +
interfaces/Java/Makefile.am | 3 +
interfaces/Java/Makefile.in | 3 +
interfaces/Java/jni/Makefile.am | 7 +
interfaces/Java/jni/Makefile.in | 7 +
.../Java/parma_polyhedra_library/Makefile.am | 3 +
.../Java/parma_polyhedra_library/Makefile.in | 3 +
interfaces/Java/tests/Makefile.am | 3 +
interfaces/Java/tests/Makefile.in | 3 +
interfaces/OCaml/Makefile.am | 7 +
interfaces/OCaml/Makefile.in | 7 +
interfaces/OCaml/tests/Makefile.am | 10 +
interfaces/OCaml/tests/Makefile.in | 9 +
interfaces/Prolog/Ciao/Makefile.am | 13 +
interfaces/Prolog/Ciao/Makefile.in | 13 +
interfaces/Prolog/GNU/Makefile.am | 9 +
interfaces/Prolog/GNU/Makefile.in | 9 +
interfaces/Prolog/Makefile.am | 3 +
interfaces/Prolog/Makefile.in | 3 +
interfaces/Prolog/SICStus/Makefile.am | 23 +
interfaces/Prolog/SICStus/Makefile.in | 19 +
interfaces/Prolog/SWI/Makefile.am | 9 +
interfaces/Prolog/SWI/Makefile.in | 9 +
interfaces/Prolog/XSB/Makefile.am | 11 +-
interfaces/Prolog/XSB/Makefile.in | 11 +-
interfaces/Prolog/YAP/Makefile.am | 9 +
interfaces/Prolog/YAP/Makefile.in | 9 +
interfaces/Prolog/tests/Makefile.am | 3 +
interfaces/Prolog/tests/Makefile.in | 3 +
m4/ac_check_gmp.m4 | 7 +-
src/Makefile.am | 10 +
src/Makefile.in | 10 +
src/checked_float.inlines.hh | 9 +-
src/ppl.hh.dist | 841 +-
tests/BD_Shape/Makefile.am | 10 +
tests/BD_Shape/Makefile.in | 9 +
tests/Box/Makefile.am | 12 +
tests/Box/Makefile.in | 12 +
tests/Grid/Makefile.am | 9 +
tests/Grid/Makefile.in | 9 +
tests/MIP_Problem/Makefile.am | 12 +
tests/MIP_Problem/Makefile.in | 12 +
tests/Octagonal_Shape/Makefile.am | 9 +
tests/Octagonal_Shape/Makefile.in | 9 +
tests/Octagonal_Shape/affineimage1.cc | 3 +
tests/Partially_Reduced_Product/Makefile.am | 9 +
tests/Partially_Reduced_Product/Makefile.in | 9 +
tests/Polyhedron/Makefile.am | 12 +
tests/Polyhedron/Makefile.in | 12 +
tests/Polyhedron/memory1.cc | 6 +-
tests/Powerset/Makefile.am | 9 +
tests/Powerset/Makefile.in | 9 +
123 files changed, 46778 insertions(+), 45919 deletions(-)
diff --cc debian/changelog
index 33b480e,0000000..235c404
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,162 -1,0 +1,172 @@@
++ppl (0.10.2-1) unstable; urgency=medium
++
++ * New upstream release.
++ * Build-Depends-Indep on xpdf-utils | poppler-utils instead of xpdf-utils.
++ * Run the testsuite with -k, and never fail the build in case of regressions
++ on alpha. (this will change when graphite will be used by default in GCC).
++ * debian/patches/exception_tests_alpha: Remove.
++
++ -- Arthur Loiret <aloiret at debian.org> Mon, 11 May 2009 22:08:57 +0000
++
+ppl (0.10.1~pre13-1) unstable; urgency=medium
+
+ * New upstream snapshot.
+ - Dropped patch for bigendian issues.
+ * urgency=medium because of FTBFS workaround.
+ * Disabled more tests on alpha - exception handling is utterly broken on
+ alpha, which will also affect users of PPL on that architecture (probably
+ GCC PR 8966) as raised exception cause immediate aborts.
+ * Re-enabled Build-Depends-Indep and adapted rules accordingly.
+ Closes: #517659.
+ * Bumped Standars-Version to 3.8.1 (no changes).
+ * Updated copyright information for several files that had been added in
+ 0.10 and also have a specific license.
+ * Added comments to quilt patch (thanks lintian).
+ * Added one sentence explaining the difference between libpwl4 und
+ libpwl-dev (thanks lintian).
+ * Dropped the ChangeLog hackery using symlinks, the ChangeLog is pretty
+ small nowadays.
+ * Moved pwl.hh to libpwl-dev package.
+
+ -- Michael Tautschnig <mt at debian.org> Mon, 13 Apr 2009 08:04:52 +0200
+
+ppl (0.10-4) unstable; urgency=medium
+
+ * urgency=medium because of FTBFS workaround.
+ * With #229357 still being open, we can't use Build-Depends-Indep the way
+ policy suggests. It would have been too beautiful anyway.
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 20 Feb 2009 10:11:26 +0100
+
+ppl (0.10-3) unstable; urgency=medium
+
+ * urgency=medium because of FTBFS workaround.
+ * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of
+ bugs in gcc/exception handling.
+ * Moved the dependencies needed for building the documentation to
+ Build-Depends-Indep.
+ * Introducing quilt to manage patches.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 17 Feb 2009 09:10:34 +0100
+
+ppl (0.10-2) unstable; urgency=high
+
+ * urgency=high because of RC bug fix.
+ * Check snapshots and releases for newer versions.
+ * Proper defines on bigendian systems. Closes: #514158.
+ * Don't ignore errors while running make check (this would have made visible
+ the above bug immediately).
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 04 Feb 2009 20:42:26 +0100
+
+ppl (0.10-1) unstable; urgency=low
+
+ * New upstream release.
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 05 Nov 2008 06:54:23 +0000
+
+ppl (0.10~pre34-1) unstable; urgency=low
+
+ [ Arthur Loiret ]
+ * New upstream snapshot.
+ * Fix build on arm. Closes: #499746.
+ * debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l
+ symlink->directory conversion.
+ * debian/rules:
+ - Disable DH_VERBOSE by default.
+ - Some cleanup.
+ * debian/Makefile.in: Update from upstream.
+
+ [ Michael Tautschnig ]
+ * Added ocaml-nox to build-depends.
+ * Bumped libppl-c library version.
+
+ -- Michael Tautschnig <mt at debian.org> Tue, 07 Oct 2008 22:36:39 +0000
+
+ppl (0.10~pre27-4) unstable; urgency=low
+
+ * debian/rules:
+ - Always copy config.sub an config.guess since we Build-Depends on
+ autotools-dev.
+ - Fix targets to have testsuite runs.
+ - Add check to .PHONY.
+ * Move ppl_lcdd and ppl_lpsol binaries and manpages from libppl7 to
+ libppl-dev, make libppl-dev Replaces libppl7 (<< 0.10~pre27-4).
+ Closes: #499832.
+ * Make libppl-dev Replaces libppl6, ppl-config binary has moved.
+ Closes: #499830.
+ * Make libpwl-dev Replaces libpwl3, /usr/bin/libpwl.a has moved.
+ Closes: #499937.
+ * Only install huge ChangeLog into libppl-dev and libpwl-dev.
+ - Don't symlink libppl-dev /usr/share/doc dir to libppl7.
+ - Add symlinks for changelog.gz to libppl7, libppl-c0 and libpwl4.
+
+ -- Arthur Loiret <arthur.loiret at gmail.com> Tue, 23 Sep 2008 19:53:51 +0000
+
+ppl (0.10~pre27-3) unstable; urgency=low
+
+ * Properly install ppl-config into libppl-dev package, including man page,
+ dont't put it into libppl7, removed ppl_lcdd from -dev, is in libppl7
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 19:15:37 +0000
+
+ppl (0.10~pre27-2) unstable; urgency=low
+
+ * debian/rules: set texmf save_size to 10000 when building the docs
+ * debian/control: libppl-dev Provides: libppl-c-dev
+ * debian/control: Don't Recommends: graphviz, Suggests: libgmp3-doc, this is
+ pointless
+
+ -- Michael Tautschnig <mt at debian.org> Thu, 11 Sep 2008 18:22:09 +0200
+
+ppl (0.10~pre27-1) unstable; urgency=low
+
+ * New upstream snapshot
+ * debian/rules: Handle nocheck and parallel=n in DEB_BUILD_OPTIONS.
+ * debian/copyright: It is now GPL 3+, not GPL 2+.
+ * debian/control: make libppl-dev Depends on libppl-c0
+ * debian/control: Set Maintainer to the Debian GCC Maintainers, add
+ Michael Tautschnig and Arthur Loiret to Uploaders.
+ * debian/rules: Run testsuite.
+ * Backport from Ubuntu:
+ - debian/control: Fix typos in short descriptions.
+ * libpwl-dev is now separated from libpwl4
+ * Added lintian override to silence warnings about empty files
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 10 Sep 2008 21:56:34 +0000
+
+ppl (0.9-5) unstable; urgency=low
+
+ * Added build-dep on texlive-extra-utils. Thanks Hilmar.
+ * Cleanup config.guess,config.sub as suggested in autotools-dev bug 482716
+ * Bumped standards version to 3.8.0 (no changes)
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-4) unstable; urgency=low
+
+ * Added build-dep on texlive-fonts-recommended to fix FTBFS
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 07:40:34 +0000
+
+ppl (0.9-3) unstable; urgency=low
+
+ * Added build-dep on texlive-latex-recommended to have a4.sty
+ * Removed bashism in debian/rules
+
+ -- Michael Tautschnig <mt at debian.org> Fri, 04 Jul 2008 00:16:35 +0000
+
+ppl (0.9-2) unstable; urgency=low
+
+ * Added libppl-doc package
+ * Removed build-depends on obsolete packages
+ * Proper copyright file to include the special license used in some header
+ files
+
+ -- Michael Tautschnig <mt at debian.org> Sun, 22 Jun 2008 02:09:30 +0200
+
+ppl (0.9-1) unstable; urgency=low
+
+ * Initial upload (closes: #409786)
+
+ -- Michael Tautschnig <mt at debian.org> Wed, 04 Jun 2008 19:08:00 +0000
diff --cc debian/control
index 765561b,0000000..005639c
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,101 -1,0 +1,101 @@@
+Source: ppl
+Section: libs
+Priority: optional
+Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
- Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <arthur.loiret at gmail.com>
++Uploaders: Michael Tautschnig <mt at debian.org>, Arthur Loiret <aloiret at debian.org>
+Standards-Version: 3.8.1
+Build-Depends: debhelper (>= 6.0.7~), quilt, libgmp3-dev (>= 4.1.3), autoconf, automake, libtool, autotools-dev
- Build-Depends-Indep: doxygen, graphviz, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils, ghostscript, texlive-extra-utils
++Build-Depends-Indep: doxygen, graphviz, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, xpdf-utils | poppler-utils, ghostscript, texlive-extra-utils
+Homepage: http://www.cs.unipr.it/ppl/
+
+Package: libppl7
+Architecture: any
+Depends: ${shlibs:Depends}
+Description: Parma Polyhedra Library (runtime library)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+
+Package: libppl0.10-dev
+Architecture: any
+Section: libdevel
+Depends: libppl7 (= ${binary:Version}), libppl-c2 (= ${binary:Version}), ${shlibs:Depends}
+Provides: libppl-c-dev, libppl-dev
+Recommends: libgmp3-dev (>= 4.1.3)
+Replaces: libppl6, libppl7 (<< 0.10~pre27-4)
+Suggests: libppl-doc
+Description: Parma Polyhedra Library (development)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the header files and static libraries for the
+ C and C++ interfaces.
+
+Package: libppl-c2
+Architecture: any
+Depends: libppl7 (= ${binary:Version}), ${shlibs:Depends}
+Description: Parma Polyhedra Library (C interface)
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the C interface.
+
+Package: libpwl4
+Architecture: any
+Depends: ${shlibs:Depends}
+Provides: libppl-pwl
+Description: Parma Watchdog Library (Watchdog timers - runtime library)
+ The Parma Watchdog Library (PWL) provides support for multiple,
+ concurrent watchdog timers on systems providing setitimer(2). The
+ PWL is currently distributed with the Parma Polyhedra Library (PPL),
+ but is totally independent from it.
+
+Package: libpwl-dev
+Architecture: any
+Section: libdevel
+Depends: libpwl4 (= ${binary:Version}), ${shlibs:Depends}
+Provides: libppl-pwl-dev
+Replaces: libpwl3
+Description: Parma Watchdog Library (Watchdog timers - development)
+ The Parma Watchdog Library (PWL) provides support for multiple,
+ concurrent watchdog timers on systems providing setitimer(2). The
+ PWL is currently distributed with the Parma Polyhedra Library (PPL),
+ but is totally independent from it.
+ .
+ This package provides the header files and static libraries.
+
+Package: libppl-doc
+Architecture: all
+Section: doc
+Description: Parma Polyhedra Library: Documentation
+ The Parma Polyhedra Library (PPL) is a C++ library for the
+ manipulation of (not necessarily closed) convex polyhedra and other
+ numerical abstractions. The applications of convex polyhedra include
+ program analysis, optimized compilation, integer and combinatorial
+ optimization and statistical data-editing. The Parma Polyhedra
+ Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
+ mean it), fully dynamic (available virtual memory is the only
+ limitation to the dimension of anything), written in standard C++,
+ exception-safe, rather efficient and thoroughly documented.
+ .
+ This package provides the documentation.
diff --cc debian/patches/series
index 7a9c04a,0000000..6305ed3
mode 100644,000000..100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@@ -1,1 -1,0 +1,1 @@@
- exception_tests_alpha
++# none
diff --cc debian/rules
index ee93910,0000000..bd721c6
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,167 -1,0 +1,180 @@@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+#
+# Modified to make a template file for a multi-binary package with separated
+# build-arch and build-indep targets by Bill Allombert 2001
+
+include /usr/share/quilt/quilt.make
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+# This has to be exported to make some magic below work.
+export DH_OPTIONS
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+CFLAGS = -Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+ CFLAGS += -O0
+else
+ CFLAGS += -O2
+endif
+
+# FOR AUTOCONF 2.52 AND NEWER ONLY
+confflags += --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE)
+# only build the C and C++ interfaces
+confflags += --enable-interfaces=c,cxx --disable-ppl_lpsol --disable-ppl_lcdd
+
+ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
+ with_check := disabled by DEB_BUILD_OPTIONS.
+else
+ ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE))
+ with_check := disabled because cross-compiling.
+ else
+ with_check := yes
+ endif
+endif
+
+ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
+ NJOBS := -j$(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS)))
+endif
+
+# If the version string was set using automake then the build would
+# have to be configured before the dpkg-buildpackage command.
+PPL_VERSION = $(shell grep "^AC_INIT" $(CURDIR)/configure.ac | sed -e "s/^AC_INIT.\[[^]]*\],[ \t]*\[\([^]]*\)\],.*/\1/")
+
- config.status: patch
++
++patch-stamp:
++ $(MAKE) -f debian/rules patch
++ touch $@
++
++configure: configure-stamp
++configure-stamp: patch-stamp
+ dh_testdir
+ cp -f /usr/share/misc/config.sub config.sub
+ cp -f /usr/share/misc/config.sub Watchdog/config.sub
+ cp -f /usr/share/misc/config.guess config.guess
+ cp -f /usr/share/misc/config.guess Watchdog/config.guess
- ./configure $(confflags) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)"
++ ./configure $(confflags) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)"
++ touch $@
+
+build: build-arch
-
+build-arch: build-arch-stamp
- build-arch-stamp: config.status
++build-arch-stamp: configure-stamp
+ $(MAKE) $(NJOBS)
+ touch $@
+
+check:
+ dh_testdir
+ifeq ($(with_check),yes)
++ ifneq (,$(filter alpha,$(DEB_HOST_GNU_TYPE)))
++ # There are some failures in the testsuite on alpha,
++ # maybe related to http://gcc.gnu.org/PR8966
++ $(MAKE) $(NJOBS) -k check || true
++ else
+ $(MAKE) $(NJOBS) check
++ endif
+# -$(MAKE) $(NJOBS) -C Watchdog check
+else
+ @echo "Testsuite not run: $(with_check)."
+endif
+
+build-indep: build-indep-stamp
- build-indep-stamp: config.status
++build-indep-stamp: configure-stamp
+ export save_size=10000 ; $(MAKE) -C doc user-configured
+ touch $@
+
+clean: unpatch
+ dh_testdir
+ dh_testroot
++ rm -f configure-stamp patch-stamp build-stamp
+ rm -f build-arch-stamp build-indep-stamp
+ [ ! -e Makefile ] || $(MAKE) distclean
+ rm -f config.sub Watchdog/config.sub
+ rm -f config.guess Watchdog/config.guess
+ dh_clean
+
+install: install-indep install-arch
+
+# Destination directory for user manual.
+DOC_DIR=$(CURDIR)/debian/tmp/usr/share/doc/ppl
+install-indep: build-indep
+ dh_testdir
+ dh_testroot
+ dh_installdirs -i
+# Build all the documentation, then move it into debian/tmp
+# directories which have fixed names.
+ mkdir -p $(DOC_DIR)/html || exit 1
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
+ mv $(DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
+
+install-arch: build-arch check
+ dh_testdir
+ dh_testroot
+ dh_installdirs -s
+# Add here commands to install the arch part of the package into
+# debian/tmp.
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+ $(MAKE) -C Watchdog install DESTDIR=$(CURDIR)/debian/tmp
+
+binary-arch: install-arch
+ dh_testdir
+ dh_testroot
+ dh_installchangelogs -s -Nlibpwl-dev -Nlibpwl4 ChangeLog
+ dh_installchangelogs -plibpwl-dev -plibpwl4 Watchdog/ChangeLog
+ dh_installdocs -s
+ dh_install -s --sourcedir=debian/tmp
+# dh_installexamples -s
+# dh_installinfo -s
+# dh_installman -s
+# These directories will be symlinks instead.
+ rm -rf debian/libppl-c2/usr/share/doc/libppl-c2
+ dh_link -s
+ dh_strip -s
+ dh_compress -s
+ dh_fixperms -s
+ dh_makeshlibs -s
+ dh_installdeb -s
+ dh_shlibdeps -s
+ dh_gencontrol -s
+ dh_md5sums -s
+ dh_builddeb -s
+
+binary-indep: install-indep
+ dh_testdir
+ dh_testroot
+ dh_install -i --sourcedir=debian/tmp
+ dh_installchangelogs -i ChangeLog
+ dh_installdocs -i
+ dh_link -i
+ dh_compress -i
+ dh_fixperms -i
+# dh_lintian -i
+ dh_installdeb -i
+ dh_gencontrol -i
+ dh_md5sums -i
+ dh_builddeb -i
+
+binary: binary-arch binary-indep
+
+get-orig-source:
+ rm -f ppl_*.orig.tar.gz
+ wget ftp://ftp.cs.unipr.it/pub/ppl/snapshots/*.tar.gz
+ vers=`ls ppl-*.tar.gz | tail -1 | sed 's/^ppl-//' | sed 's/.tar.gz$$//'` ; \
+ debvers=`echo $$vers | sed 's/pre/~pre/'` ; \
+ tar xzf ppl-$$vers.tar.gz ; \
+ rm ppl-$$vers.tar.gz ; mv ppl-$$vers ppl-$$debvers ; \
+ tar czf ppl_$$debvers.orig.tar.gz ppl-$$debvers ; \
+ rm -r ppl-$$debvers
+
- .PHONY: build check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source
++.PHONY: configure build check clean binary-indep binary-arch binary install install-indep install-arch get-orig-source
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git
More information about the debian-science-commits
mailing list