[isabelle] Problem installing on an intel mac
I just tried to install Isabelle on an Intel Mac by following the
instructions for MacOS X on the web. The first problem that I ran into
was getting the following error message when I used isatool
|> This is the error message that I get:
|> Building GradualTyping ...
|> Unknown logic "HOL" -- no heap file found in:
|> GradualTyping FAILED
|> (see also
In an attempt to fix this problem, I moved ...heaps/polyml-ppc to
.../heaps/polyml_unknown-platorm. This let things move forward a bit
(polyml does work, it seems). But now I get this error:
taha$ isatool usedir -b HOL GradualTyping
Building GradualTyping ...
Unable to locate /opt/polyml/unknown-platform/poly
Please check your ML system settings!
Any idea why (or what) is looking in this /opt/... directory? Currently,
there is no such directory on my machine (and I don't know what, if
anything, should have created it).
May thanks in advance.
This archive was generated by a fusion of
Pipermail (Mailman edition) and