Re: [isabelle] build HOL and SUSE 10.2



paolot at informatik.uni-bremen.de wrote:
Just for record - in case anyone find the same. Compilation of Isabelle2005 HOL may fail with openSUSE 10.2. Apparently, the problem lays with the new kernel. In contrast, SUSE 10.0 with the original kernel gives no problem.

[...]

Started at Tue Apr  3 00:42:57 CEST 2007 (polyml-4.1.4_x86-linux on linux-m02e)

The latest PolyML 5.0 version, which you can download from

  http://sourceforge.net/project/showfiles.php?group_id=148318

should also work with SUSE 10.2. In order to get it to work with Isabelle2005,
you have to install a patch available at

  http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz

See also Markus Wenzel's message on this mailing list from January 9th, 2007.

Greetings,
Stefan

--
Dr. Stefan Berghofer               E-Mail: berghofe at in.tum.de
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY            http://www.in.tum.de/~berghofe





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