Re: Mizar 6.0.00 for Linux

[Mariusz Zynel <mariusz@math.uwb.edu.pl>]

Freek Wiedijk wrote:
> 
> Note that I was not talking about Mac OS, but about
> linuxppc.  A "Mac port" would be something for Mac OS.  I
> don't think it's easy to get Mac OS executables from Free
> Pascal.
> 
> >Please correct me if I'm wrong.
> 
> I looked at the Free Pascal home page and it says i386+ and
> 680x0, but no PPC.  So, I don't think it will give you
> something for use under linuxppc.

I meant Linux on Mac hardware and looked at this issue more 
carefully. You are right. I'm working on moving Mizar to
GNU Pascal which runs on platforms where GCC runs. But it seems 
to be more complicated than moving from Borland to Free Pascal.

Regards

-- 
        .
Mariusz Zynel

Institute of Mathematics   |   phone: +48 (85) 745 75 52
University of Bialystok    |
Akademicka 2 St            |   mailto:mariusz@math.uwb.edu.pl
15-267 Bialystok           |
Poland                     |   http://math.uwb.edu.pl/~mariusz/