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

[Levent Erkok]

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.

-Levent.


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>