> We had a Homebrew tap set up a while ago see,
> https://github.com/klee/homebrew-klee, but it is currently unmaintained. So
> what we need is to have maintainers for these different packages. This is why
> it was great to hear about the Homebrew package you created (which I hope
> you'd
Hi Carlo,
We had a Homebrew tap set up a while ago see,
https://github.com/klee/homebrew-klee, but it is currently unmaintained.
So what we need is to have maintainers for these different packages.
This is why it was great to hear about the Homebrew package you created
(which I hope you'd
Hi Cristian,
> 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
Sure, I'll respond to you there.
> BTW, one major disadvantage with
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
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
>
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
> wrote:
>
> Dear klee-dev,
>
> I noticed that packaging
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,