On 2/27/25 1:25 PM, Dima Pasechnik wrote: > > just tested your Homebrew fricas as a part of SageMath on an arm64 > (M1) machine, > all works great! Good work! > No X11 used. >
Hi Dima, Thanks for your report! I also receive a report from Prof. Dr. Johannes Grabmeier, which "brew install fricas" does not work out of box, he saw an error message: Error: Failed applying an ad-hoc signature to /opt/homebrew/Cellar/fricas/1.3.11/lib/fricas/target/arm-apple-darwin23.6.0/bin/FRICASsys: /opt/homebrew/Cellar/fricas/1.3.11/lib/fricas/target/arm-apple-darwin23.6.0/bin/FRICASsys: replacing existing signature /opt/homebrew/Cellar/fricas/1.3.11/lib/fricas/target/arm-apple-darwin23.6.0/bin/FRICASsys: main executable failed strict validation But this can be workaround by "export HOMEBREW_NO_INSTALL_CLEANUP=1". Do you see the same message? Or do you already set the variable HOMEBREW_NO_INSTALL_CLEANUP? The reason behind this is that SBCL generated executable does not strictly follow modern Mach-O layout rules, because it is appending the core file after the SBCL executable. So a proper solution should be generating a core file and use "sbcl --core /path/to/core" to load it. I'll try to add support for this to the build system. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/6ae8cdaa-0cca-4719-a497-81b9a3daa7b5%40gmail.com.
