Ralf Hemmecke wrote:
>
> Then I'd say that we add something like that (untested and certainly not
> yet working)
>
> all: pht.db.stamp
>
> ht.db.stamp: $(ALL_HTFILES)
> # add the .ht
> cd $(THTDIR); rm -f ht.db ; ${HTADD} *.ht
> touch $@
>
> pht.db.stamp: ht.db.stamp
> 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
> touch $@
>
> This should avoid building ht.db twice.
Looks resonable. I would put lines with 'cd' in a subshell,
because AFAIK most make-s execute lines completely separately,
but some put the whole rule as a script for shell. In
the second case the line after 'cd' would be broken.
> I just haven't yet investigated how to get such a variable ALL_HTFILES,
> since you just access them currently via *.ht (which is somehow not
> perfect). Where are the .ht files generated?
>
ATM .ht files are source files (in src/hyper/pages). We have scripts
to generate them (and .tex files) from .htex files, but that is not
included in current build process.
--
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
-~----------~----~----~----~------~----~------~--~---
