From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 20 Jul 2021 16:11:15 +0000 (-0700)
Subject: ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)
X-Git-Tag: cvc5-1.0.0~1469
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f194486a6dc9e59bd294012e4d6abb2ce84c338c;p=cvc5.git

ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)

On some platforms, autotools installs ANTLR3's libraries into lib but
CMAKE_INSTALL_LIBDIR is set to lib64 (e.g., Fedora 33). This commit
sets --libdir to force autotools to install the library into the
directory specified by CMAKE_INSTALL_LIBDIR.
---

diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake
index ea0c4131f..373182904 100644
--- a/cmake/FindANTLR3.cmake
+++ b/cmake/FindANTLR3.cmake
@@ -112,6 +112,7 @@ if(NOT ANTLR3_FOUND_SYSTEM)
             --with-pic
             --disable-antlrdebug
             --prefix=<INSTALL_DIR>
+            --libdir=<INSTALL_DIR>/${CMAKE_INSTALL_LIBDIR}
             --srcdir=<SOURCE_DIR>
             --disable-shared
             --enable-static