Re: [isabelle] missing link in isabelle installation files


on the machine there is ubuntu 8.04 installed, we used the commandline tool gnu tar 1.19.
other links have been created properly, like
Isabelle -> Isabelle2008.

i am not the administrator of the machine, so i cannot try to reproduce the problem. considered that this seems to be the first time this problem appears, i will assign it a problem of the machine.

thanks for your efforts.

Makarius wrote:
On Mon, 19 Jan 2009, Benedikt.AHRENS at wrote:

i had the error message
Unknown logic "HOL" -- no heap file found in:

the reason was a missing pointer polyml_x86-linux to the directory
polyml-<version>_x86-linux (version 5.2).

is this meant to be like that ? if yes, there should be a hint in the INSTALL notes. if not, you might want to repair it.

I have just checked again: the link is part of the polyml tar, also for ProofGeneral, as required.

Which tool did you use to unpack the archives?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.