projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c672a9) | patch
Fix ANTLR3 config for i386 and aarch64 builds. (#7694)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 24 Nov 2021 19:15:28 +0000 (11:15 -0800)
committerGitHub <noreply@github.com>
Wed, 24 Nov 2021 19:15:28 +0000 (19:15 +0000)
commite5247e6100e95afdb7e70b11dff1aca675705aa2
tree9a094b57f490757cffde1610b67a2f8c6dd4ee4ctree
parent9c672a9d1459fd8d9a5bd9b8b1a665620168a4e0commit | diff
Fix ANTLR3 config for i386 and aarch64 builds. (#7694)

This fixes the i386 and aarch64 nightly builds.
cmake/FindANTLR3.cmake diff | blob | history