Re: [klee-dev] Homebrew Package
> 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 like to maintain) and about the other packages of KLEE being maintained > by other volunteers. Ah, I see. Trying to keep it in Homebrew might be ideal then. I don't mind helping to keep the package updated. Some Homebrew contributors do have some automation set up that updates packages hosted on GitHub, so many packages are updated automatically when new releases are tagged on GitHub. This makes it likely that KLEE will stay updated on Homebrew without much additional work. I imagine things should stay that way as long as you don't change your build system, and KLEE continues to work with the latest stable release of LLVM. You may also wish to set up your own release workflow that will update the Homebrew package automatically when you tag new releases: https://github.com/dawidd6/action-homebrew-bump-formula Best, Carlo ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Re: [klee-dev] Homebrew Package
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 like to maintain) and about the other packages of KLEE being maintained by other volunteers. Best, Cristian On 15/03/2021 21:41, Carlo Cabrera wrote: 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 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. I agree. I could try to get this enabled for the Linux package, but it seems I would need to get uClibc-ng packaged for Homebrew on Linux first. It's doable, but may take me some time. An alternative to this is for KLEE to host a Homebrew tap [1] in your GitHub organisation. This will allow you to package KLEE yourself and distribute it using the Homebrew CLI. For example, once you have a tap with a KLEE package set up, installing KLEE from your tap would be as simple as doing brew install klee/tap/klee This can be set up so that it installs a pre-built binary package configured the way you prefer. (There are some naming issues involved, so the thing you're installing may not be called "klee/tap/klee" exactly.) [1] https://docs.brew.sh/Taps Best, Carlo ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Re: [klee-dev] Homebrew Package
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 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. I agree. I could try to get this enabled for the Linux package, but it seems I would need to get uClibc-ng packaged for Homebrew on Linux first. It's doable, but may take me some time. An alternative to this is for KLEE to host a Homebrew tap [1] in your GitHub organisation. This will allow you to package KLEE yourself and distribute it using the Homebrew CLI. For example, once you have a tap with a KLEE package set up, installing KLEE from your tap would be as simple as doing brew install klee/tap/klee This can be set up so that it installs a pre-built binary package configured the way you prefer. (There are some naming issues involved, so the thing you're installing may not be called "klee/tap/klee" exactly.) [1] https://docs.brew.sh/Taps Best, Carlo ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Re: [klee-dev] Homebrew Package
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 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@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 ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Re: [klee-dev] Homebrew Package
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 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@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 ___ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
Re: [klee-dev] Homebrew Package
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 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
Re: [klee-dev] Homebrew Package
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@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
