Re: [mizar] ARM architecture

[marco caminati <spam.caminati@gmail.com>]

On 8/28/12, Adam Naumowicz <adamn@math.uwb.edu.pl> wrote:
> 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?

Thanks Josef, thanks Adam.
I tried the "verifier" binary from
mizar-7.9.03_4.104.1021-arm-linux.tar
and from
mizar-7.14.01_4.182.1147-arm-linux.tar

In both cases this is what I get:

tc@box:~$ ./verifier
Illegal instruction

Sounds like it's not just a matter of mere EABI, but I'm not sure.
It's all very experimental, so I need time before setting up a FPC on
my hardware to perform tests.
I will get back to that when I have a more complete linux box.

Best regards,
Marco.

P.S.:
For completeness, here is some detail on my ARM linux:
tc@box:~$ uname -a
Linux box 3.0.39 #1 PREEMPT Tue Aug 21 20:03:28 UTC 2012 armv7l GNU/Linux