Hi, On 27 February 2025 22:31:14 GMT-06:00, Qian Yun <oldk1...@gmail.com> wrote: >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 >
I have never seen this. It might be something particular to Johannes' computer. I read that it can be fixed by "xcode-select --install". See <https://github.com/orgs/Homebrew/discussions/673> >But this can be workaround by "export HOMEBREW_NO_INSTALL_CLEANUP=1". > I fail to see how this is related. AFAIK, the latter is about old versions of packages. I guess these are several versions of this program on the machine, and they have different signatures. >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. I doubt your reason. I think my reason is more reasonable, and in fact you don't need to fix anything. HTH, Dima > >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/B0A093DA-AD79-43D3-9DCB-7E0A18F8A898%40gmail.com.
