[klee-dev] Homebrew Package

[Carlo Cabrera]

Hi Cristian and Anton,

Thanks for the kind words.

I looked into getting a pre-built package on Linux, but it's a little
tricky because KLEE has some build dependencies that aren't in Homebrew.

However, I opened a pull request to update the website with installation
instructions.

Best,
Carlo

> On 12 Mar 2021, at 17:13, Cristian Cadar <c.cadar at imperial.ac.uk> wrote:
> 
> Hi Carlo,
> 
> This is great to hear!  Thanks for this contribution!
> 
> We should update the website with this info soon.
> 
> It would be of course great to have one for Linux too; from what I can tell, many of our users use Ubuntu, although I don't have any stats.
> 
> Best,
> Cristian
> 
> On 12/03/2021 16:45, Carlo Cabrera wrote:
>> Dear klee-dev,
>> I noticed that packaging was listed as an open project on the website.
>> So, I submitted klee for packaging at Homebrew [1].
>> If you use Homebrew (on macOS or Linux), you can now install klee with
>>     brew install klee
>> It is built with libc++, but without exception handling. EH lead to a
>> build failure on macOS.
>> The Homebrew package has a pre-built binary on macOS. If there is
>> interest in one for Linux as well, I can look into it.
>> Best,
>> Carlo
>> [1] https://brew.sh
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev