On 2015/09/26 16:45, Yozo TODA wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA512 > > > > I found that flex port tries to build flex.pdf, requiring TeX but no > > > dependency. > > > I believe the PDF document is not necessary because it already > > > contains info document > > > (flex.info, flex.info-1, flex.info-2). > > > > > > Here is a patch to remove pdf creation. > > > > Some people hate the info format and would probably prefer reading the > > pdf. Also, the only advantage is 500KB saved on disk, not even > > then, we need to add TeX dependency. > > well, I check flex-2.5.39.tar.gz and found that > flex.pdf and other info files are already included. > I don't examine yet why Make tries to generate them again, but > patching Makefile will be better to copy info and pdf files on install > instead of generating them again?
For me, make(1) doesn't try to generate them again. We would certainly have run into this during bulk builds if it was a common problem. How is your build environment? We've seen some problems before if the build directory is on NFS. The rules in the Makefile say that flex.pdf should only be regenerated if it is older than flex.texi / version.texi, times look like this: $ ls -lrtT doc/flex.texi doc/version.texi doc/flex.pdf -rw-r--r-- 1 sthen sthen 293690 Dec 6 15:00:25 2012 doc/flex.texi -rw-r--r-- 1 sthen sthen 102 Mar 26 18:56:30 2014 doc/version.texi -rw-r--r-- 1 sthen sthen 553361 Mar 26 18:59:45 2014 doc/flex.pdf So it should not rebuild it.
