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 <[email protected]> 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 >> [email protected] >> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
