Difficulty installing apron with LLVM14 using Homebrew on MacosX

[ivanperez-keera]

Hi,

IKOS depends on Apron and we are having some issues installing it on MacOSX using homebrew. We are using LLVM14 (we don't yet support 16).

Here's what we see:

https://github.com/ivanperez-keera/ikos/actions/runs/10601995125/job/29383060012

==> make APRON_PREFIX=/opt/homebrew/Cellar/apron/0.9.15_2 GMP_PREFIX=/opt/homebr
Last 15 lines from /Users/runner/Library/Logs/Homebrew/apron/01.make:
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvRl.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvRll.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvRll.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPZ.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPZ.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPQ.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPQ.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvD.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvD.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPFR.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitvMPFR.a: line 1: `!<arch>'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitv.a: line 1: syntax error near unexpected token `newline'
/opt/homebrew/Cellar/apron/0.9.15_2/lib/libitv.a: line 1: `!<arch>'

The Homebrew formula being used is:

https://github.com/ivanperez-keera/ikos/blob/develop-fix-ga-macosx/.github/workflows/apron.rb

Any ideas?

[Chaarlesss]

Hi !
I feel like this has something to do with the option --absolute-dylibs of configure.
I managed to get it working on my machine by replacing this line by this one:

    system "./configure --absolute-dylibs --no-strip"

For future references, I relied on the opam installation procedure to solve this problem.

[ivanperez-keera]

Thanks! That seems to be building now.