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@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev