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

Levent Erkok erkokl at gmail.com
Mon Jul 1 17:02:14 CEST 2013

SBV should be able to pick up Z3 from your path; make sure the "z3"
executable is in it and you can invoke it from your shell. Alternatively,
you can use the SBV_Z3 environment variable to point to the executable
itself, if adding it to your path is not desirable for whatever reason.

Let me know if you still have issues.


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

> > 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.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130701/6c85ace1/attachment.htm>

More information about the Haskell-Cafe mailing list