Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2009 segfault

view this post on Zulip Email Gateway (Aug 18 2022 at 13:43):

From: Makarius <makarius@sketis.net>
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

view this post on Zulip Email Gateway (Aug 18 2022 at 13:47):

From: Sean McLaughlin <seanmcl@gmail.com>
Hi,

I downloaded Isabelle2009 today. I unpacked it on Ubuntu 9.04, and
polyml segfaults before any computation begins.
Has anyone noticed this?

root@rooibos:~/tmp/polyml-5.2.1/x86-linux# ./poly
Segmentation fault

Best,

Sean

Last updated: May 03 2024 at 04:19 UTC