OSX kernel version 18.6.0 not supported

uwplse / herbgrind

A Valgrind tool for Herbie

GNU General Public License v3.0

90 stars 7 forks source link

OSX kernel version 18.6.0 not supported #52

Closed hbrunie closed 4 years ago

hbrunie commented 4 years ago

Hello,

trying to compile Herbgrind on OSX :

I ran into a configure error: checking for the kernel version... unsupported (18.6.0) configure: error: Valgrind works on Darwin 10.x, 11.x, 12.x, 13.x, 14.x, 15.x, 16.x and 17.x (Mac OS X 10.6/7/8/9/10/11 and macOS 10.12/13)

Thanks,

hbrunie commented 4 years ago

I think this is actually a Valgrind issue.

HazardousPeach commented 4 years ago

Yeah, this appears to be a Valgrind issue.