[Haskell-cafe] Installing Z3 on OS X 10.8.4 ( Off topic )

Brandon Allbery allbery.b at gmail.com
Mon Jul 1 15:42:27 CEST 2013

On Mon, Jul 1, 2013 at 8:34 AM, Johannes Waldmann <
waldmann at imn.htwk-leipzig.de> wrote:

> and note that the install script says:
> Z3 shared libraries were installed at /usr/local/lib, make sure this
> directory is in your LD_LIBRARY_PATH environment variable.

Only applicable on Linux (and setting the OS X equivalent of
LD_LIBRARY_PATH is an absolutely wonderful way to break your system). OS X
compiles full paths to shared objects into binaries, and provides a tool to
change them if the need arises (install_name_tool).

brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130701/611fed03/attachment.htm>

More information about the Haskell-Cafe mailing list