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

如何解决安装 libantrl3c 期间出现编译错误：重复的“无符号”/声明说明符中有两种或多种数据类型

我正在尝试从源代码 (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