Re: [isabelle] isatool make for document preparation
One fix is to modify your IsaMakefile.
In that file you will find a dependency like this:
$(LOG)/HOL-MySession.gz: MySession/Root.ML # MySession/document/root.tex MySession/*.thy
Delete the '#' to make this target depend upon the .thy files in MySession. Then anytime you update these files, or add a new one, it will regenerate the PDF.
Alternatively run the command line:
isatool make clean; isatool make
This will force a rebuild of the PDF.
> -----Original Message-----
> From: cl-isabelle-users-bounces at lists.cam.ac.uk
> [mailto:cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf
> Of Peter Lammich
> Sent: Thursday, February 22, 2007 8:50 AM
> To: isabelle-users at cl.cam.ac.uk
> Subject: [isabelle] isatool make for document preparation
> I want to prepare a pdf using isatool make, (with isabelle 2005)
> > isatool mkdir HOL MySession
> > isatool make
> Everything ok up to now, some pdf has been created
> > cp somewhere/A.thy MySession/
> > echo 'use_thy "A";' >> MySession/ROOT.ML
> Now A.thy should be in the session
> > isatool make
> Now I get the output:
> make: Für das Ziel »default« ist nichts zu tun.
> in english: Nothing to do for target »default«
> Also, if I do the first "isatool make" after I have added
> A.thy, and then change A.thy later or add other theories,
> isatool make tells me that there is nothing to do and does
> not regenerate anything.
> What am I doing wrong ? Currently the only way I know to get
> something regenerated is to brute-force do: rm -r
> ~/isabelle, and so delete every intermediate info of "isatool make"
> Thanks in advance for any hints
> Peter Lammich
This archive was generated by a fusion of
Pipermail (Mailman edition) and