[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] 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: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
=======================================================================