On Mon, Jul 1, 2013 at 8:34 AM, Johannes Waldmann < waldm...@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 allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
