Email Gateway (Aug 18 2022 at 13:53): Email Gateway (Aug 18 2022 at 13:53):From: Makarius <makarius@sketis.net>
On Wed, 5 Aug 2009, Jeremy Dawson wrote:
I'm trying to install Isabelle2007 on a Mac laptop. I have polyml (5.2.1)
installed (and Isabelle2009 runs on it).But in Isabelle2007, when I do ./build
it complains that it can't find ..../polyml/ppc-darwin/ML_dbaseThe files in .../polyml/ppc-darwin are mostly libpoly..., there's no
ML_dbase
The Isabelle2007 release does not know about Poly/ML 5.2 or 5.2.1, so the
"automated settings" machnism falls back on ancient 4.x which still
exepects ML_dbase.
In such a case, one can try to pretend that the newer ML system is
actually 5.1 -- I've done this but there are various incompatibilities.
But on the Linux system, I have Isabelle2007 running quite happily,
using PolyML 5.1 (which also has a similar set of files in the directory
polyml/x86-linux) - ie, it doesn't need a ML_dbase there.
It is indeed easier to use such an older Poly/ML version, e.g. from here
http://www4.in.tum.de/~wenzelm/test/dist-Isabelle2007/polyml_x86-darwin.tar.gz
http://www4.in.tum.de/~wenzelm/test/dist-Isabelle2007/polyml_ppc-darwin.tar.gz
Makarius
Email Gateway (Aug 18 2022 at 13:58):From: Jeremy Dawson <jeremy@rsise.anu.edu.au>
I'm trying to install Isabelle2007 on a Mac laptop. I have polyml
(5.2.1) installed (and Isabelle2009 runs on it).
But in Isabelle2007, when I do ./build
it complains that it can't find ..../polyml/ppc-darwin/ML_dbase
The files in .../polyml/ppc-darwin are mostly libpoly..., there's no
ML_dbase
But on the Linux system, I have Isabelle2007 running quite happily, using
PolyML 5.1 (which also has a similar set of files in the directory
polyml/x86-linux) - ie, it doesn't need a ML_dbase there.
What is happening here?
Jeremy
Last updated: Apr 25 2024 at 20:15 UTC