Open hanslub42 opened 1 year ago
This should be fixed in the Public alpha 146 release. I now build the Linux release on an old Haswell machine to have older libraries for better compatibility but it turns out that the default configuration for GNU GMP on this machine is Haswell specific, whereas on the newer machine which I used to use, it is generic x86_64.
When running the binary from version 3.3.1
Maude-linux.zip
I getUpon further investigation with
strace
this turns out to be caused by aSIGILL
signal.gdb
shows the relevant illegal instruction to be amulx
which was first introduced in 2013 with Haswell, when my laptop was already two years old.maude
didn't have this problemSo, not a big deal, but I don't expect much performance would be lost by having precompiled binaries run on older hardware.