On 2/28/25 2:02 PM, Dima Pasechnik wrote: > 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. >
But I do see this kind of message in CI environment: https://github.com/oldk1331/fricas/actions/runs/13535449113/job/37826335707 (And xcode-select --install does not fix it.) Johannes did not have this error message because he was using Homebrew under Rosetta emulation (under /usr/local instead of /opt/homebrew). After removing the old homebrew and start fresh, he begins to see this message. The installed fricas actually works, the exported variable prevents the deletion of this installation. Anyway, this is a strange situation right now. - 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/75f0c9d3-7b59-43a3-9667-b0c85e96c8e1%40gmail.com.
