Re: ARM architecture

Hello,

On Sat, 25 Aug 2012, Josef Urban wrote:

> Four years ago I cross-compiled Mizar for Nokia N810, see here:
> http://mizar.uwb.edu.pl/forum/archive/0805/msg00019.html . I used the
> standard Free Pascal compiler (http://www.freepascal.org/), which
> claims a support for ARM/Linux, and it worked without any modification
> of the source code. So I did not really need to know anything about
> differences in various ARM CPUs.
>
> I believe the ARM binaries on the Mizar site are compiled in the same
> way I did, but Adam Naumowicz will know this better. I have not been
> testing the new binaries, so perhaps first you could try some very old
> Mizar ARM binaries (say from 2008), to see if anything changed. If
> nothing works, we could ask on the Free Pascal mailing list.

The ARM distribution is now cross-compiled in the same way as Josef did 
it, only the version of the FPC compiler has changed (and the 
corresponding ARM/Linux run time library). The compiler I use for 
crosscompilation is version 2.4.2. According to the FPC web page, there 
were some changes in the ARM port of the new 2.6 version, but I don't know 
whether they added or removed support for any particular hardware. As 
far as I know, the Mizar ARM version was only tested on Josef's and 
Grzegorz's Nokia paltops. What exactly is reported when you try to run the 
binaries on your hardware? Is the binary format recognized at all?

Best,

Adam

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: [email protected]
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================