Ubuntu 12.04 マシンに cqual-0.991 ツールをインストールしようとしています。tarファイルをダウンロードしました。cqual の必須条件である emacs がインストールされていることを確認します。次に、コマンドを実行しました
./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