[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.