search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

Unable to install gnu-sed with specified flag #45

Closed andrewlvovsky closed 5 years ago

andrewlvovsky commented 5 years ago

According to the README, installing gnu-sed should be done with the following command: brew install gnu-sed --with-default-names.

However, brew returns an error stating that the flag is an invalid option.

andrewlvovsky commented 5 years ago

Seems like the flag was removed in January 2019: https://stackoverflow.com/a/34815955/4621870

HazardousPeach commented 5 years ago

Hmm yeah. I guess we need to update the instructions. However, I'm not a mac user, so I'm not confident about how the path needs to be modified to be able to use the binaries without the 'g' prefix (which the herbgrind install scripts depend on). The stack overflow post you linked says that homebrew will tell you on install how to modify your path to get the binaries without the 'g' prefix, could you try those instructions and report back? Thanks for the feedback!

andrewlvovsky commented 5 years ago

I was able to proceed by following the instructions, but could not go further because I realized Herbgrind isn't supported on Mojave yet. I've successfully installed a dual-boot of Ubuntu 16.04.