[klee-dev] Homebrew Package

[Cristian Cadar]

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
>