./build_deps.sh does not work

[sharpobject]

Hello, I'm on Mac OS 15.5. I've installed clang, cmake, and ninja from homebrew. When running

$ ./build_deps.sh Release

as suggested in the README, I get a result ending with this:

In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/horner.cpp:21:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/horner.h:22:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/nla_common.h:13:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/monic.h:17:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/lar_solver.h:29:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/bound_analyzer_on_row.h:25:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/implied_bound.h:22:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/lar_constraints.h:21:
In file included from /Users/sharpobject/repos/souper/third_party/z3/src/math/lp/column_namer.h:22:
/Users/sharpobject/repos/souper/third_party/z3/src/math/lp/static_matrix.h:82:72: error: no member named 'get' in 'static_matrix<T, X>'; did you mean 'set'?
   82 |         ref operator=(ref & v) { m_matrix.set(m_row, m_col, v.m_matrix.get(v.m_row, v.m_col)); return *this; }
      |                                                                        ^~~
      |                                                                        set
/Users/sharpobject/repos/souper/third_party/z3/src/math/lp/static_matrix.h:164:10: note: 'set' declared here
  164 |     void set(unsigned row, unsigned col, T const & val);
      |          ^
2 errors generated.
[432/864] Building CXX object src/solver/assertions/CMakeFiles/solver_assertions.dir/asserted_formulas.cpp.o
ninja: build stopped: subcommand failed.

Do you have some script that tries to build known-working versions of the deps?

[newdev8]

I came across the same issue, modifying build_deps.sh, changing z3_commit=z3-4.13.0 to z3_commit=z3-4.15.2 and modifying the two instances of $z3_installdir/lib to $z3_installdir/lib64 seems to fix it.

[hxm-cpp]

Build it by urself without the script.