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
  and outdated!

With the following empiric proof for this general statement against homegrown packages:;content-type=text%2Fplain

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 important).

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 also


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