|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: Entering directory '/home/bill/pari/doc' rm -f develop.std tex develop make: tex: Command not found Makefile:49: recipe for target 'develop.dvi' failed make: *** [develop.dvi] Error 127 make: Leaving directory '/home/bill/pari/doc' Makefile:54: recipe for target 'doc' failed make: *** [doc] Error 2 How do you like the attached patch ? Cheers, Bill.
commit 9f0ef0d52e88adf20a06b600dce5bfe891814f44 Author: Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr> 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 install-doc:: + 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__ alpha: + cd doc && \$(MAKE) usersch3.tex $config_dir/settar \$(VERS) alpha beta: + cd doc && \$(MAKE) usersch3.tex $config_dir/settar \$(VERS) beta release: + cd doc && \$(MAKE) usersch3.tex $config_dir/settar \$(VERS) released snapshot: + cd doc && \$(MAKE) usersch3.tex $config_dir/settar \$(VERS) snapshot dosdistrib: gpman