[Haskell-cafe] Installing Z3 on OS X 10.8.4 ( Off topic )
mukeshtiwari.iiitm at gmail.com
Tue Jul 2 08:46:57 CEST 2013
Thank you for your response. Now it's working.
On Mon, Jul 1, 2013 at 8:32 PM, Levent Erkok <erkokl at gmail.com> wrote:
> 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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe