0

我正在尝试在我的 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
4

1 回答 1

0

CQual 现在已过时，无法安装在新版本的 Linux 或 Solaris 上。:(

于 2012-10-30T22:26:18.317 回答