Re: [mizar] Mizr on Mac

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

I am not sure, but AFAIK, Darwin ("open Mac core") for i386 is at very 
early stage, when it comes to hardware support - last time I checked, they 
supported about just one hardware configuration.

Josef

On Wed, 21 Jan 2004, Piotr Rudnicki wrote:

> Hi:
> 
> Jim Hoover is telling that there is a version of fpc producing Mac binaries under
> OS X.
> 
> <http://jonagold.elis.ugent.be/~jonas/fpc/fpc-darwinppc-20040104.tar.bz2>
> <http://jonagold.elis.ugent.be:8080/~jonas/fpc/fpc-darwinppc-20040104.tar.bz2>.
> 
> Has anyone tried to compile Mizar?  If I remember right, Freek is a
> Mac user so there would be one.  I am also thinking of bying a Mac
> laptop if Mizar can run on it (emulation of 386 is very slow).
> 
> 
>