gcc - 安装 libantrl3c 期间的编译错误：重复的“无符号”/声明说明符中的两个或多个数据类型

Question

我正在尝试从源代码（http://cvc4.cs.stanford.edu/wiki/Building_CVC4_from_source#Installing_libantlr3c:_ANTLR_parser_generator_C_support_library）构建 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

完整的日志/堆栈跟踪，可以在这里找到：https ://pastebin.com/rkVzSaAB