Ralf Hemmecke wrote:
>
> Hi
>
> When I type 'make' in an already built top-level build directory, I see
> something like (see at the end). In particular the .ht files are added
> twice.
>
> In the respective Makefile, I find...
> ==== src/paste/Makefile.in ===
> all:
> (cd $(THTDIR); \
> rm -f ht.db ; \
> ${HTADD} *.ht)
> if [ -f copy_nphts ] ; then \
> ${MAKE} copy-nphts ; \
> else \
> $(MAKE) nphts ; \
> fi
> if [ -f copy_gphts ] ; then ${MAKE} copy-gphts ; fi
> (cd $(THTDIR); \
> rm -f ht.db ; \
> ${HTADD} *.ht *.pht )
> ===============================
>
> Is that really necessary? Is it even necessary to regenerated the
> database in each make?
>
> Unfortunately, I don't quite understand this logic here since
> 'copy_nphts' also appears in configure.ac and src/scripts/mkdist.sh.
> It's probably to do with the .spkg generation.
>
> Can that redundancy be easily removed? Make should not do more than
> necessary.
>
> Ralf
>
We need to update ht.db in case when some of pages (.ht files)
change. Unfortunatly, normal make logic does not work very
well here because ht.db is needed to produce .pht files, but
we need to add information from .pht files to final ht.db.
I must say that I did not really try to remove redundancy
here -- htadd seem to be fast enough so that it does not
matter if we run it more times than strictly necessary.
I did have problems because htadd adds things to ht.db,
but apparently does not remove older versions. I think
that the best way to solve such problems is to consistenly
remove old ht.db and produce fresh one.
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
