search

uwplse / herbgrind

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

benchmark programs do not compile by default #41

Closed erich666 closed 5 years ago

erich666 commented 5 years ago

It'd be good if make -C bench all, as shown on this page, would work without additional work on the user's part. I see that the file mpfr.h is in various deeply-buried subdirectories, but the makefile doesn't know this.

Here's the current error message (Ubuntu Linux), after successfully building herbgrind itself:

ehaines@Ehaines-It:~/Github/herbgrind$ make -C bench all make: Entering directory '/home/ehaines/Github/herbgrind/bench' cc -o testprog.c.out testprog.c -g -std=c11 -lm -lmpfr testprog.c:6:10: fatal error: mpfr.h: No such file or directory

include 

      ^~~~~~~~

compilation terminated. Makefile:16: recipe for target 'testprog.c.out' failed make: *** [testprog.c.out] Error 1 make: Leaving directory '/home/ehaines/Github/herbgrind/bench'

HazardousPeach commented 5 years ago

Thanks enrih666! I removed that benchmark, which was intended to test a different piece of software, from the repo.