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

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Jul 1 14:34:21 CEST 2013

> Unable to locate executable for z3

well, do you really have z3 in the $PATH?  
what does 'which z3' answer?

I used this for installation of z3:
python scripts/mk_make.py --prefix=/usr/local

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.

- J.W.

More information about the Haskell-Cafe mailing list