projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b251476) | patch
ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 20 Jul 2021 16:11:15 +0000 (09:11 -0700)
committerGitHub <noreply@github.com>
Tue, 20 Jul 2021 16:11:15 +0000 (11:11 -0500)
commitf194486a6dc9e59bd294012e4d6abb2ce84c338c
tree752799a89975c69b488a463f27b1880b062484f0tree
parentb251476af6095e600e227b659c06fb3393e82af5commit | diff
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.
cmake/FindANTLR3.cmake diff | blob | history