Re: [Isarmathlib-devel] Undefined session(s): "IsarMathLib" after build

[Makarius]

On Thu, 23 May 2013, Reza Roboubi wrote:

> This seems to work fine and create the pdf documents:
> ../Isabelle2013/bin/isabelle build -D ./IsarMathLib
>
> But,
> ../Isabelle2013/bin/isabelle build -o browser_info -v -c IsarMathLib
> fails with:  Undefined session(s): "IsarMathLib"

For the second form to work, you need to include the IsarMathLib session 
root directory, e.g. via option -d like this:

  ../Isabelle2013/bin/isabelle build -o browser_info -v -d ./IsarMathLib -c 
IsarMathLib

This assumes the same cd as for "build -D ./IsarMathLib" above -- it is 
generally better to make such directory specifications absolute.


        Makarius