Hi Carlo,
On 13/03/2021 14:21, Carlo Cabrera wrote:
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.
Could you document more precisely the challenges you have encountered?
Perhaps it would be best to continue the discussion on GitHub; I've just
created this issue: https://github.com/klee/klee/issues/1395
BTW, one major disadvantage with using the Homebrew package (compared to
say, Docker) is that it doesn't have support for uclibc and the POSIX
runtime. This is, of course, a limitation of KLEE/uclibc on macOS
rather than an issue with the package itself. But that's why it would
be great to have a package targetting Linux directly, with uclibc and
POSIX runtime support included.
However, I opened a pull request to update the website with installation
instructions.
Thanks!
Best,
Cristian
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
