From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 24 Nov 2021 19:15:28 +0000 (-0800)
Subject: Fix ANTLR3 config for i386 and aarch64 builds. (#7694)
X-Git-Tag: cvc5-1.0.0~772
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e5247e6100e95afdb7e70b11dff1aca675705aa2;p=cvc5.git

Fix ANTLR3 config for i386 and aarch64 builds. (#7694)

This fixes the i386 and aarch64 nightly builds.
---

diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake
index dc8a63255..a1812e695 100644
--- a/cmake/FindANTLR3.cmake
+++ b/cmake/FindANTLR3.cmake
@@ -120,6 +120,7 @@ if(NOT ANTLR3_FOUND_SYSTEM)
         CONFIGURE_COMMAND <SOURCE_DIR>/configure
             --with-pic
             --disable-antlrdebug
+            --disable-abiflags
             --prefix=<INSTALL_DIR>
             --libdir=<INSTALL_DIR>/${CMAKE_INSTALL_LIBDIR}
             --srcdir=<SOURCE_DIR>