[isabelle] error: Unable to load header



Dear All,

recently (after setting up a new machine) I get the error message "Unable to load header" when trying to use the code generator on a previously built heap image.

In the archives of the mailing list I found out that this problem already occurred earlier... but I did not find an answer.

I create the heap image by:

$ /usr/local/Isabelle2011-1/bin/isabelle usedir -C false -D generated -s Name Underlying-Heap-Image .

and then try to generate code via:

/usr/local/Isabelle2011-1/bin/isabelle codegen Name Theory \
'some-function in Haskell module_name Some-Module file "generated/Haskell/"'

But this command results in

> Unable to load header: $HOME/.isabelle/Isabelle2011-1/heaps/polyml-5.4.0_x86_64-linux/Name

Any help is welcome ;)

Details:
$ isabelle version
Isabelle2011-1: October 2011

$ isabelle tty
> val it = (): unit
val commit = fn: unit -> bool
Welcome to Isabelle/HOL (Isabelle2011-1: October 2011)

x86_64-linux (Fedora 16)

ISABELLE_USEDIR_OPTIONS=-M 2 -q 2

ML_PLATFORM=x86_64-linux
ML_HOME=/usr/local/Isabelle2011-1/contrib/polyml/x86_64-linux
ML_SYSTEM=polyml-5.4.0
ML_OPTIONS=-H 400

thanks in advance

chris





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