[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] c-reduce feedback

Sure, I added the homebrew package name in the INSTALL file. I think that actually linking to homebrew itself goes beyond the scope of our INSTALL file. 

John


On 5/2/16 7:59 PM, Sean McBride wrote:

Hi,

I'd like to report a few "bugs" against the instructions here:

<http://embed.cs.utah.edu/creduce/>

It would be nice if the "Installing C-Reduce" section had a few more hyperlinks.  Like to Homebrew, for those that don't know it.  Also, after installing brew, I tried:

$ brew search c-reduce
No formula found for "c-reduce".

Apparently, it's spelt "creduce" and their search engine is lame.  :)  You might mention the command explicitly:

$ brew install creduce

Now to actually try the tool... :)

Cheers,