Re: [isabelle] Should isatool document preparation preserve timestamps while copying?



On Sun, 21 Feb 2010, Rafal Kolanski wrote:

My current solution to this is to tell isatool not to copy anything, and then do the copying manually, like so:
   cd ..; $(USEDIR) $(BASE_IMAGE) $(SESSION)
   rsync -av -c -H document/ generated
Where:
USEDIR = $(ISATOOL) usedir -v true -i false -d false -D generated -C false

Using -D generated is indeed the usual way to achieve any custom behaviour, beyond that what the example setup of the document preparation tool is doing.

BTW, "isatool" and the $ISATOOL variable are way old. The tool wrapper is called "isabelle", and "$ISABELLE_TOOL" refers to it within the process environment.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.