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
Segmentation fault

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.


	Makarius





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