Re: [isabelle] Isabelle on OpenBSD?
On Tue, 15 May 2012, Timothy Bourke wrote:
Otherwise, there are FreeBSD ports of Poly/ML and Isabelle (2009.2):
The patches therein may be helpful in building Isabelle on OpenBSD; or
the current maintainer may already know how to solve some BSD issues.
The trickiest step is usually to get Poly/ML working.
Here is the famous quote from the Isabelle download and installation page:
Warning: Pre-packaged versions of Isabelle, Poly/ML, and Proof General
floating through the Net as deb, rpm, port etc. are usually incomplete
With the following empiric proof for this general statement against
The file was started in 2005, last updated in 2010, and the underlying
Poly/ML version seems to be 5.4.0, but the current stable one is 5.4.1. It
also seems to lack support for libgmp (nice to have) and libsha1 (quite
This is just the bottom of the problem. All the add-ons components for
the full system integration of the Isabelle bundle are still missing, see
This archive was generated by a fusion of
Pipermail (Mailman edition) and