On Fri, Feb 28, 2025 at 12:31:14PM +0800, Qian Yun wrote:
> On 2/27/25 1:25 PM, Dima Pasechnik wrote:
>
> 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.
On Linux SBCL generated executables does not follow normal ELF
rules, in particular 'strip' breaks them and tools intended to
compare binaries may find false positives. Practical solution
is to block such tools (which I assume HOMEBREW_NO_INSTALL_CLEANUP=1
is doing). Proper solution would wrap core into an object
file and link with SBCL "loader" (IIUC CMU CL folks did this,
but it was not ported to SBCL).
We had code to use wrapper script, but our code is simpler
without it.
--
Waldek Hebisch
--
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/Z8FFDJrH_6RqFoPM%40fricas.org.
