Re: [isabelle] Isabelle2009 segfault
On Fri, 3 Jul 2009, Sean McLaughlin wrote:
I downloaded Isabelle2009 today. I unpacked it on Ubuntu 9.04, and
polyml segfaults before any computation begins.
Has anyone noticed this?
root at rooibos:~/tmp/polyml-5.2.1/x86-linux# ./poly
Better try it as explained on http://isabelle.in.tum.de/installation.html
If you really need to run raw "poly", you have to provide a
LD_LIBRARY_PATH yourself. It should not segfault if this is absent,
though. So there might be another problem.
This archive was generated by a fusion of
Pipermail (Mailman edition) and