Fix --rebuild-logic
meiersi opened this issue · comments
The automatic building of the ESPL logic image is currently broken. You can reproduce this by calling scyther-proof --rebuild-logic. This should call isabelle in batch mode to build the ESPL logic image.
Note that in 8338e79, the IsaMakefile was deleted. One might have to add this file again.
Isabelle2013 has a new build system and the old one will be phased out soon. IsaMakefiles have become obsolete, sessions are now managed in ROOT files. However, I do not know of a way to force a fresh build with the new build system.
Done in 626e015