Open gerd-moellmann opened 4 months ago
It is odd, but I get arm
there as well. (Not arm64
, not aarch64
.)
Support for this platform was previously added in e5066a7c7a76103875d89c55c4770b3d989bf61e ... so I'm curious if this changed since then or what.
I've done some analysis and will submit a PR momentarily for what I found.
See PR #283.
Bruce Mitchener @.***> writes:
See PR #283.
Thanks!
Configuring mps (
./configure ...
) on an M1 mac with macOS 14.3.1 fails for me. Making the change below and regeneratingconfigure
withautoconf
lets me build, and all tests succeeded.