Re: [mizar] ARM architecture

[Josef Urban <josef.urban@gmail.com>]

Hi Marco,

On Sat, Aug 25, 2012 at 2:12 PM, marco caminati <spam.caminati@gmail.com> wrote:
> I have a machine based on Cortex-A8 (armv7 instruction set) architecture.
> More specifically, the cpu is an Allwinner A10, the one powering the
> mass of chinese tablets being invading low-end market recently.
> I can run various Linux distros on it, both with float emulation
> (armel) and hard floating (armhf) EABIs.
>
> In no case I could get Mizar binaries running on it.
> Dealing with ARM is a mess because of lacking compatibility between
> various cores; however, RaspberryPi, Mk802 and tablets are making at
> least v6 and v7 quite popular: is there a way to have Mizar on such
> hardware?
>
> Indeed, I couldn't get to know the ARM core family the binaries on
> mizar site were (cross) built for, either: anyone knows?

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.

Best,
Josef