diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-19 13:48:38 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-19 13:48:38 -0700 |
commit | 15754172a3b222c15987d00d91eaf788487d26ec (patch) | |
tree | 752799a89975c69b488a463f27b1880b062484f0 /test/regress/regress0/uf/eq_diamond14.reduced.smt | |
parent | b251476af6095e600e227b659c06fb3393e82af5 (diff) |
ANTLR3: Install into `CMAKE_INSTALL_LIBDIR`libdir
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`.
Diffstat (limited to 'test/regress/regress0/uf/eq_diamond14.reduced.smt')
0 files changed, 0 insertions, 0 deletions