麻烦版主和各位朋友看一下，谢谢。

mnoopy

版主好，前几天我发了一个帖子是关于一个叫Limboole的软件的安装，当时还不太会安装软件，现在稍微搞懂一些，原来我用的红旗Linux在安装时没有安装gcc而且要安装这个软件还需一个叫Limmat的软件(根据我的理解这个软件可能是提供Limboole安装时所需的库文件)，于是我在http://www.inf.ethz.ch/personal/biere/projects/limmat/
这个网站上下载了这两个软件包。
并按照Limboole里面的说明：把Limmat解压缩到Limboole的解压目录，然后再分别编译两个目录的文件，具体过程如下：

首先进入到Limmat的目录运行 ./configure 系统提示
version              ...
1.3
SAT 2002 format      ...
no
optimization         ...
yes
temporary directory  ...
done
CC                   ...
gcc
compiler             ...
gcc
CFLAGS               ...
-Wall -O3 -mcpu=i686
pointer width        ...
narrow (32 bit)
inline               ...
yes (but not checked)
generating Makefile  ...
done
generating config.h  ...
done
cleanup              ...
done

然后运行make,系统提示
gcc -Wall -O3 -mcpu=i686 -c -o limmat.o limmat.c
ar rc liblimmat.a limmat.o
ranlib liblimmat.a
gcc -Wall -O3 -mcpu=i686 -o limmat main.c -L. -llimmat。

现在我不知道在Limmat目录的所有工作是否都做完，于是我试着回到它的父目录，也就是Limboole所在的目录运行 make，系统提示：

gcc -DVERSION="\"`cat VERSION`\"" -Wall -g -c -I../limmat limboole.c
limboole.c:10:20:

limmat.h: 没有那个文件或目录
。。。。。(中间有很多类似于 limboole.c:205: dereferencing pointer to incomplete type 的错误)
make:
*** [limboole.o] Error 1

我也不知道怎么办了，请版主和各位朋友能在百忙之中予以指点，谢谢大家！