/share/SW/MERCURY/mercury-srcdist-13.05/install_grade_dir.hlc.gc/scripts/mgnuc --grade hlc.gc -- -c robdd.c -o robdd.o robdd.m:436:20: fatal error: bryant.h: No such file or directory #include ""bryant.h"" ^ compilation terminated. gmake[2]: *** [robdd.o] Error 1 gmake[2]: Leaving directory `/share/SW/MERCURY/mercury-srcdist-13.05/install_grade_dir.hlc.gc/library' To clean up from failed install, remove /share/SW/MERCURY/mercury-srcdist-13.05/install_grade_dir.hlc.gc gmake[1]: *** [install_grades] Error 1 gmake[1]: Leaving directory `/share/SW/MERCURY/mercury-srcdist-13.05' make: *** [install] Error 2 [root@localhost mercury-srcdist-13.05]# cat /proc/version Linux version 3.9.8-300.fc19.x86_64 (mockbuild@bkernel02) (gcc version 4.8.1 20130603 (Red Hat 4.8.1-1) (GCC) ) #1 SMP Thu Jun 27 19:24:23 UTC 2013