[ppl] 08/68: Imported Debian patch 0.10~pre27-2
Andreas Tille
tille at debian.org
Sat Nov 12 08:40:07 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 8bb82fd6113251f4f7d779cef0c7a2907405e99e
Author: Michael Tautschnig <mt at debian.org>
Date: Thu Sep 11 18:22:09 2008 +0200
Imported Debian patch 0.10~pre27-2
---
debian/changelog | 9 +++++++++
debian/control | 5 +++--
debian/libppl-pwl.dirs | 2 --
debian/libppl-pwl.install | 4 ----
debian/libppl.dirs | 3 ---
debian/libppl.install | 8 --------
debian/rules | 2 +-
7 files changed, 13 insertions(+), 20 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 33c6286..4b21da6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+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
diff --git a/debian/control b/debian/control
index f6ebced..264b4d6 100644
--- a/debian/control
+++ b/debian/control
@@ -24,9 +24,10 @@ Description: Parma Polyhedra Library (runtime library)
Package: libppl-dev
Architecture: any
Section: libdevel
+Provides: libppl-c-dev
Depends: libppl7 (= ${binary:Version}), libppl-c0 (= ${binary:Version}), ${shlibs:Depends}
-Recommends: libgmp3-dev (>= 4.1.3), graphviz
-Suggests: libppl-doc, libgmp3-doc
+Recommends: libgmp3-dev (>= 4.1.3)
+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
diff --git a/debian/libppl-pwl.dirs b/debian/libppl-pwl.dirs
deleted file mode 100644
index 4418816..0000000
--- a/debian/libppl-pwl.dirs
+++ /dev/null
@@ -1,2 +0,0 @@
-usr/lib
-usr/include
diff --git a/debian/libppl-pwl.install b/debian/libppl-pwl.install
deleted file mode 100644
index 353e95a..0000000
--- a/debian/libppl-pwl.install
+++ /dev/null
@@ -1,4 +0,0 @@
-usr/lib/libpwl.so
-usr/lib/libpwl.so.*
-usr/lib/libpwl.a
-usr/lib/libpwl.la
diff --git a/debian/libppl.dirs b/debian/libppl.dirs
deleted file mode 100644
index d96c6d6..0000000
--- a/debian/libppl.dirs
+++ /dev/null
@@ -1,3 +0,0 @@
-usr/lib
-usr/bin
-usr/share/man/man1
diff --git a/debian/libppl.install b/debian/libppl.install
deleted file mode 100644
index a7ba61c..0000000
--- a/debian/libppl.install
+++ /dev/null
@@ -1,8 +0,0 @@
-usr/lib/libppl.so
-usr/lib/libppl.so.*
-usr/bin/ppl-config
-usr/bin/ppl_lcdd
-usr/bin/ppl_lpsol
-usr/share/man/man1/ppl-config.1
-usr/share/man/man1/ppl_lcdd.1
-usr/share/man/man1/ppl_lpsol.1
diff --git a/debian/rules b/debian/rules
index 754e003..c324bce 100755
--- a/debian/rules
+++ b/debian/rules
@@ -153,7 +153,7 @@ install-arch:
# directories which have fixed names.
mkdir -p $(DOC_DIR)/html || exit 1
mkdir -p $(DEV_DOC_DIR)/html || exit 1
- $(MAKE) -C doc world
+ export save_size=10000 ; $(MAKE) -C doc world
cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION)-html $(DOC_DIR)/html/user-manual
cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).pdf $(DOC_DIR)/ppl-user-browse.pdf
cp -a $(SRC_DOC_DIR)/ppl-user-$(PPL_VERSION).ps.gz $(DOC_DIR)/ppl-user-print.ps.gz
--
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