Bill Allombert on Mon, 18 May 2015 20:45:09 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: OS X: ??sumnummon does not work

On Mon, May 18, 2015 at 08:32:22AM +0200, Jeroen Demeyer wrote:
> On 2015-05-16 21:04, Bill Allombert wrote:
> >What files exactly were missing from the archive, that could not be
> >regenerated ?
> There were no files missing, it was just that usersch3.tex was not
> up to date: the problem was that I did not run "make doc" before
> "make snapshot". A second issue is that usersch3.tex was not
> regenerated on the target machine because "make doc" does not
> rebuild usersch3.tex if there is no TeX installation.

PARI does not check if TeX is available in any way.
What happens is that 'make doc' fails if there is no TeX installation:

$ make doc
cd doc && make doc
make[1]: Entering directory '/home/bill/pari/doc'
rm -f develop.std
tex develop
make[1]: tex: Command not found
Makefile:49: recipe for target 'develop.dvi' failed
make[1]: *** [develop.dvi] Error 127
make[1]: Leaving directory '/home/bill/pari/doc'
Makefile:54: recipe for target 'doc' failed
make: *** [doc] Error 2

How do you like the attached patch ?

commit 9f0ef0d52e88adf20a06b600dce5bfe891814f44
Author: Bill Allombert <>
Date:   Mon May 18 20:37:12 2015 +0200

    make snapshot: generate usersch3.tex

diff --git a/config/Makefile.SH b/config/Makefile.SH
index dc6525f..0a97a37 100644
--- a/config/Makefile.SH
+++ b/config/Makefile.SH
@@ -422,6 +422,7 @@ install-cfg::
 	   \$(INSTALL_DATA) $desc/\$(DESC) \$(DATADIR); fi
+	cd $doc && \$(MAKE) usersch3.tex
 	-mkdir -p \$(BINDIR) \$(DOCDIR)
 	-cd $doc; \$(MAKE) all
 	-\$(INSTALL_PROGRAM) $doc/gphelp    \$(BINDIR)
diff --git a/config/TOP_Make.SH b/config/TOP_Make.SH
index 11533b4..8ce6fa6 100644
--- a/config/TOP_Make.SH
+++ b/config/TOP_Make.SH
@@ -101,12 +101,16 @@ distrib:
 	$config_dir/settar \$(VERS) $__status__
+	cd doc && \$(MAKE) usersch3.tex
 	$config_dir/settar \$(VERS) alpha
+	cd doc && \$(MAKE) usersch3.tex
 	$config_dir/settar \$(VERS) beta
+	cd doc && \$(MAKE) usersch3.tex
 	$config_dir/settar \$(VERS) released
+	cd doc && \$(MAKE) usersch3.tex
 	$config_dir/settar \$(VERS) snapshot
 dosdistrib: gpman