我正在尝试在我的 Ubuntu 12.04 机器上安装 cqual-0.991 工具。我下载了 tar 文件。确保安装了 emacs，这是 cqual 的必要条件。然后，运行命令
./configure
make
但我收到以下错误消息：
In file included from regions.c:40:0:
stats.c:52:26: fatal error: linux/config.h: No such file or directory
compilation terminated.
make[3]: *** [regions.o] Error 1
make[3]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src/libcompat'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
make: *** [all-recursive] Error 1
root@ubuntu:/home/romaan/Desktop/SATool/cqual-0.991# su -
root@ubuntu:~# cd /home/romaan/Desktop/SATool/cqual-0.991/
root@ubuntu:/home/romaan/Desktop/SATool/cqual-0.991# make
Making all in src
make[1]: Entering directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
make all-recursive
make[2]: Entering directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
Making all in libcompat
make[3]: Entering directory `/home/romaan/Desktop/SATool/cqual-0.991/src/libcompat'
if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"cqual\" -DVERSION=\"0.991\" -DYYTEXT_POINTER=1 -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_FCNTL_H=1 -DHAVE_LIMITS_H=1 -DHAVE_MALLOC_H=1 -DHAVE_SYS_TIME_H=1 -DHAVE_UNISTD_H=1 -DTIME_WITH_SYS_TIME=1 -DSIZEOF_VOIDP=4 -DHAVE_ALLOCA_H=1 -DHAVE_ALLOCA=1 -DPROTOTYPES=1 -D__PROTOTYPES=1 -DRETSIGTYPE=void -DHAVE_VPRINTF=1 -DHAVE_GETTIMEOFDAY=1 -DHAVE_STRDUP=1 -DHAVE_STRTOLD=1 -DHAVE_STRTOL=1 -I. -I. -DNMEMDEBUG -DNDEBUG -O9 -g -O2 -MT regions.o -MD -MP -MF ".deps/regions.Tpo" \
-c -o regions.o `test -f 'regions.c' || echo './'`regions.c; \
then mv -f ".deps/regions.Tpo" ".deps/regions.Po"; \
else rm -f ".deps/regions.Tpo"; exit 1; \
fi
In file included from regions.c:40:0:
stats.c:52:26: fatal error: linux/config.h: No such file or directory
compilation terminated.
make[3]: *** [regions.o] Error 1
make[3]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src/libcompat'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/romaan/Desktop/SATool/cqual-0.991/src'
make: *** [all-recursive] Error 1