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,
