[singular] 04/04: Made non-interactive docbuild work

[Julien Puydt]

This is an automated email from the git hooks/post-receive script.

jpuydt-guest pushed a commit to branch master
in repository singular.

commit 3ff8f7dd053d24ef94c504935215145014e576c9
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Sun May 25 20:57:18 2014 +0200

    Made non-interactive docbuild work
---
 debian/patches/0018-non-interactive-docbuild-fix.patch | 17 +++++++++++++++++
 debian/patches/series                                  |  1 +
 doc/Makefile.in                                        |  2 +-
 3 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/debian/patches/0018-non-interactive-docbuild-fix.patch b/debian/patches/0018-non-interactive-docbuild-fix.patch
new file mode 100644
index 0000000..d36a23b
--- /dev/null
+++ b/debian/patches/0018-non-interactive-docbuild-fix.patch
@@ -0,0 +1,17 @@
+Description: Makes non-interactive build work
+ The build is failing in non-interactive mode because it tries
+ to launch singular, which does things which work only in a tty.
+Author: Julien Puydt  <julien.puydt at laposte.net>
+Forwarded: not-needed
+
+--- singular-3-1-6.dfsg.orig/doc/Makefile.in
++++ singular-3-1-6.dfsg/doc/Makefile.in
+@@ -71,7 +71,7 @@ EX_SUBDIR       = ./examples
+ CHKSUM_DB       = ${DOC_SUBDIR}/chksum
+ DOC2TEX_EXAMPLE_EXCLUSIONS = @DOC2TEX_EXAMPLE_EXCLUSIONS@
+ DOC2TEX         = ${PERL} ./doc2tex.pl -docdir ${DOC_SUBDIR} \
+-                  -Singular ${SINGULAR} -verbose ${VERBOSE} -make ${MAKE} \
++                  -Singular /bin/true -verbose ${VERBOSE} -make ${MAKE} \
+ 		  -exdir ${EX_SUBDIR} ${DOC2TEX_EXAMPLE_EXCLUSIONS}
+ TAG		=
+ PL2DOC		= ${PERL} ./pl2doc.pl ${TAG} -db ${CHKSUM_DB}
diff --git a/debian/patches/series b/debian/patches/series
index c851058..7533a06 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -15,3 +15,4 @@
 0015-sanitize-cf_gmp.h-generation.patch
 0016-use-bin-sed-everywhere.patch
 0017-use-full-paths-for-coretools.patch
+0018-non-interactive-docbuild-fix.patch
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 95e363c..0d1ee2f 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -71,7 +71,7 @@ EX_SUBDIR       = ./examples
 CHKSUM_DB       = ${DOC_SUBDIR}/chksum
 DOC2TEX_EXAMPLE_EXCLUSIONS = @DOC2TEX_EXAMPLE_EXCLUSIONS@
 DOC2TEX         = ${PERL} ./doc2tex.pl -docdir ${DOC_SUBDIR} \
-                  -Singular ${SINGULAR} -verbose ${VERBOSE} -make ${MAKE} \
+                  -Singular /bin/true -verbose ${VERBOSE} -make ${MAKE} \
 		  -exdir ${EX_SUBDIR} ${DOC2TEX_EXAMPLE_EXCLUSIONS}
 TAG		=
 PL2DOC		= ${PERL} ./pl2doc.pl ${TAG} -db ${CHKSUM_DB}

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/singular.git