Gcc 安装libantl3c时出现编译错误：重复'；未签名'；/声明说明符中的两个或多个数据类型_Gcc_Compiler Errors_Antlr_Libtool_Cvc4

Gcc 安装libantl3c时出现编译错误：重复'；未签名'；/声明说明符中的两个或多个数据类型

gcc compiler-errors antlr

Gcc 安装libantl3c时出现编译错误：重复'；未签名'；/声明说明符中的两个或多个数据类型,gcc,compiler-errors,antlr,libtool,cvc4,Gcc,Compiler Errors,Antlr,Libtool,Cvc4,我正试图从源代码（）构建CVC4。为此，我需要安装libantrl3c，但遇到以下错误： libtool: compile: gcc -DHAVE_CONFIG_H -I. -Iinclude -MT antlr3baserecognizer.lo -MD -MP -MF .deps/antlr3baserecognizer.Tpo -c src/antlr3baserecognizer.c -o antlr3baserecognizer.o In file included from in

我正试图从源代码（）构建CVC4。为此，我需要安装libantrl3c，但遇到以下错误：

libtool: compile:  gcc -DHAVE_CONFIG_H -I. -Iinclude -MT antlr3baserecognizer.lo -MD -MP -MF 
.deps/antlr3baserecognizer.Tpo -c src/antlr3baserecognizer.c -o antlr3baserecognizer.o
In file included from include/antlr3defs.h:246:0,
             from include/antlr3baserecognizer.h:39,
             from src/antlr3baserecognizer.c:9:
./antlr3config.h:167:16: error: duplicate 'unsigned'
#define size_t unsigned int
            ^
./antlr3config.h:167:25: error: two or more data types in declaration specifiers
#define size_t unsigned int
                     ^
Makefile:449: recipe for target 'antlr3baserecognizer.lo' failed
make[1]: *** [antlr3baserecognizer.lo] Error 1

完整的日志/堆栈跟踪可在以下位置找到：