[SCM] pd-flite/master: patched ./configure to install help-files to library install dir
rdz-guest at users.alioth.debian.org
rdz-guest at users.alioth.debian.org
Wed Nov 2 09:50:59 UTC 2011
The following commit has been merged in the master branch:
commit 16e2258220209626e10c8033a70686ecdef59d2a
Author: Roman Haefeli <reduzent at gmail.com>
Date: Wed Nov 2 09:45:05 2011 +0000
patched ./configure to install help-files to library install dir
diff --git a/debian/patches/fix-help-files-install-dir.patch b/debian/patches/fix-help-files-install-dir.patch
new file mode 100644
index 0000000..4005c84
--- /dev/null
+++ b/debian/patches/fix-help-files-install-dir.patch
@@ -0,0 +1,25 @@
+Description: fix configure to install help-files to extdir
+Author: Roman Haefeli <reduzent at gmail.com>
+--- a/configure
++++ b/configure
+@@ -4134,9 +4134,6 @@
+
+
+
+- pddocdir="${pddir}/doc/5.reference"
+-
+-
+ ##-- pdincludedir
+
+ # Check whether --with-pd-include was given.
+@@ -4166,6 +4163,10 @@
+ pdexternsdir="$pdextdir"
+ pdexecdir="$pdextdir"
+
++ ##-- pddocdir
++ # Nowadays the help files usually are installed besides the class files
++ pddocdir="${pdextdir}"
++
+
+ ## pd-directory/ies
+ ##^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..21011bc
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+fix-help-files-install-dir.patch
--
pd-flite packaging
More information about the pkg-multimedia-commits
mailing list