Re: [creduce-dev] C-Reduce Release

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

I also want to eliminate the dependency on astyle and indent, these are 
subsumed by clang-format now.

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