Re: [isabelle] HOL for x86_64 Linux?



On Thu, 15 May 2008, Robert Rothenberg wrote:

> Is there a version of HOL compiled for 64-bit Linux available?

At the moment 64bit Isabelle/HOL is rarely needed, so we do not distribute 
it precompiled.  There is nothing special about compiling Isabelle logics, 
the sources are just the Isabelle sources.  See also 
http://isabelle.in.tum.de/installation.html, especially heeding this:

  ... For other platforms (Solaris, BSD, Cygwin etc.), Isabelle needs to 
  be compiled manually, see also 
  http://isabelle.in.tum.de/dist/Isabelle/INSTALL


	Makarius





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