Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] build HOL Failed - exception Fail raised: stuc...

view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: Lawrence Paulson <lp15@cam.ac.uk>
A bug in recent versions of the SML/NJ lexer is responsible for this
error. Certain illegal characters (necessarily in comments) make the
lexer fail. The fix is to download the latest development version of
the sources, or manually find and remove the illegal characters.

Larry

view this post on Zulip Email Gateway (Aug 17 2022 at 14:15):

From: William Billingsley <whb21@cam.ac.uk>
Thanks very much to Florian for helping me past my previous problem.
However I've now received this exception from running
./build HOL:

exception Fail raised: stuck state
at command "use"
ExnDuringExecution

HOL log zipped and attached.

Any help really would be appreciated.

thanks everso,
Will.
HOL.zip

Last updated: Nov 21 2024 at 12:39 UTC