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

[mukesh tiwari]

Thank you for your response. Now it's working.

-Mukesh Tiwari


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.
>
> -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
>>
>
>
> _______________________________________________
> 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/20130702/aa297ad4/attachment.htm>