Email Gateway (Aug 19 2022 at 12:11): Email Gateway (Aug 19 2022 at 12:11):From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Dear all,
I had recurrently a problem with the creation of a session.
I can pin it down to the following scenario:
I created a directory "Demo", went in, and fired the command:
/usr/local/isabelle/Isabelle2013/bin/isabelle mkroot -d -n Test
As expected, ROOT and document were generated, and I edited
a simple test theory Test.thy (see below.)
I edited the ROOT file appropriately (see below.)
Finally I wanted to generate the .pdf's and the session via:
/usr/local/isabelle/Isabelle2013/bin/isabelle build Test
and get the somewhat surprising answer:
Undefined session(s): "Test"
0:00:03 elapsed time, 0:00:03 cpu time
<<<<<<<<<<<<<<<<<<<<<
Any hints or comments ?
Best regards,
Email Gateway (Aug 19 2022 at 12:11):From: Lars Noschinski <noschinl@in.tum.de>
You need to tell build to include the ROOT file in the current directory:
isabelle build -d . Test
If you want to build all sessions in this ROOT file, you can also use -D:
isabelle build -D .
-- Lars
signature.asc
Last updated: Apr 19 2024 at 04:17 UTC