Re: [creduce-dev] C-Reduce Release

[John Regehr <regehr@cs.utah.edu>]

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.

John


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
> > directory.
>
> 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.
>
> John