It seems that uname -p returns aarch64c, configfsf.guess uses that, and configfsf.sub gets confused by that, so it should be reported there. Ah, I already see at least
https://lists.gnu.org/archive/html/config-patches/2023-08/msg00043.html
so hopefully it will get discussed / solved there.

On Thu, 24 Aug 2023, Paul Zimmermann wrote:

      Hi,

gmp 6.3.0 does not compile on this machine:

zimmerma@cfarm240:~/gmp-6.3.0 $ ./configure
checking build system type... Invalid configuration 
'aarch64c-unknown-freebsd14.0': machine 'aarch64c-unknown' not recognized
configure: error: /bin/sh ./config.sub aarch64c-unknown-freebsd14.0 failed

Should I try a specific ABI?

Paul

Date: Wed, 23 Aug 2023 14:14:47 -0500
From: CFarm Annoucements via cfarm-announces
 <cfarm-announ...@lists.tetaneutral.net>
Cc: CFarm Annoucements <cfarm-announ...@lists.tetaneutral.net>

The Compile Farm project is pleased to announce the immediate
availability of cfarm240, an Arm Morello SoC [1] prototype board
running CheriBSD (a FreeBSD derivative).

This system-on-chip research platform [2] features a custom
quad-core aarch64 Neoverse N1-based CPU implementing CHERI [3]
(a memory protection model), and has 32GB system memory. Disk
space is limited (~200GB); be mindful of your resource usage.

We are still in the process of transitioning to our new domain
name and website; please SSH to cfarm240.cfarm.net.

Notes:

  * Morello boards are the only physical implementation of this
    ISA; lessons learned will be carried to future Arm extensions,
    so binary compatibility with Morello is not guaranteed.

  * You will want to read about packages [4].

  * If you need help with CHERI-specific problems (not Compile
    Farm issues), consider joining their Slack [5].

Thank you to the University of Cambridge for hosting
(and developing) this machine!


[1]: https://www.arm.com/architecture/cpu/morello
[2]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html
[3]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
[4]: https://ctsrd-cheri.github.io/cheribsd-getting-started/packages/index.html
[5]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-slack.html
_______________________________________________
cfarm-announces mailing list
cfarm-announ...@lists.tetaneutral.net
https://lists.tetaneutral.net/listinfo/cfarm-announces

_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


--
Marc Glisse
_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Reply via email to