search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
368 stars 46 forks source link

Makefile.build: avoid ldconfig on linux #389

Closed trofi closed 2 years ago

trofi commented 2 years ago

linux-musl target does not provide ldconfig: https://wiki.musl-libc.org/faq.html#Q:-Where-is-%3Ccode%3Eldconfig%3C/code%3E?

Let's create explicit hierarchy of symlinks to avoid dependency on ldconfig's behaviour.

ianamason commented 2 years ago

@BrunoDutertre ?

BrunoDutertre commented 2 years ago

Looks good to me. It didn't seem to cause any problem on my centos box.

ianamason commented 2 years ago

OK lets give it a whirl... Thanks @trofi