Dear Carlo, I just tried installing KLEE via Homebrew and it worked like a charm. I can’t thank you enough for this! For an occasional user like me it simplifies things greatly.
Best, Anton > On 12 Mar 2021, at 19:45, Carlo Cabrera <carlo.antonio.cabr...@gmail.com> > 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