[klee-dev] Homebrew Package

[Cristian Cadar]

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