[isabelle-dev] isabelle build
christian.urban at kcl.ac.uk
Wed Aug 8 17:32:07 CEST 2012
Thanks a lot for the information, but I somehow
missed what I have to do on the command line
in order to produce a pdf-output. As said
isabelle build -v -d . Esop
build the theories, but I do not see that it
generates a pdf.
On Monday, August 6, 2012 at 16:09:21 (+0100), Makarius wrote:
> On Mon, 6 Aug 2012, Christian Urban wrote:
> > 1) I transferred two "old" IsaMakefile/ROOT.ML files to a
> > "new" ROOT like:
> > session Nominal2! in "Nominal" = HOL +
> > options [document = false]
> > theories
> > "Nominal2"
> > "Atoms"
> > "Eqvt"
> > session Esop! in "ESOP-Paper" = Nominal2 +
> > theories [document = false]
> > "~~/src/HOL/Library/LaTeXsugar"
> > theories
> > "Paper"
> > files "document/root.bib" "document/root.tex"
> > Now calling
> > isabelle build -v -d . Esop
> > I expected that a pdf-file for the paper is created.
> > But I could not see anything. Also
> > isabelle build -v -d . -o document=pdf Esop
> > did not produce anything. Is there some magic I missed
> > to generate the pdf-files? Is there some control where
> > the pdf is generated and how it is called? My IsaMakefiles
> > often contain commands like
> > cp ESOP-Paper/document.pdf esop-paper.pdf
> > for copying any pdf-file in a more convenient place and
> > under a more intelligible name.
> There must have been more options in your IsaMakefile, because the default
> document preparation happens somewhere in $ISABELLE_BROWSER_INFO, and the
> generated sources are deleted in the end.
> In Isabelle/doc-src/ROOT there are some examples with document_dump and
> document_dump_mode that are leading into the direction to make typical
> configurations for papers based on regular sessions.
> I have my own traditional idioms here, but did not try to express them in
> the new way yet. It will practially require some ./build script to wrap
> up the whole process as used to be done by several IsaMakefile command
> lines, but shell scripting is no longer built into the build tool.
> Anyway, do you happen to have an old-style document/IsaMakefile as well?
> It needs to be turned into document/build (as mentioned in NEWS and the
> system manual).
More information about the isabelle-dev