[Haskell-cafe] Installing Z3 on OS X 10.8.4 ( Off topic )
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.
More information about the Haskell-Cafe