[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] C-Reduce Release
The worst problem with our install story is the Perl modules. Not sure
what to do about that. Some platforms don't make it easy to get these
and you don't want to ask random people to use CPAN.
On 5/29/14, 10:45 AM, John Regehr wrote:
Is LLVM 3.4.1 just a bugfix release? If so, we can probably support
both 3.4 and 3.4.1.
Yang do you have time to look into this?
If you do package topformflat *please* make sure to put it in your own
We'll probably rename it.
The motivation for including this, Eric, is that I watched a bunch of
people trying to install C-Reduce and nobody had a really easy time of
it. For example homebrew lacks a delta package.