projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c49dc9) | patch
Antlr: runtime -> libraries (#7338)
authorGereon Kremer <nafur42@gmail.com>
Mon, 11 Oct 2021 20:54:30 +0000 (13:54 -0700)
committerGitHub <noreply@github.com>
Mon, 11 Oct 2021 20:54:30 +0000 (20:54 +0000)
commitc4e66db48339802b8f5f76558b4d2576f8de1adb
tree7e72937d28dd7d49ad92afe309873e7fedf1985ctree
parent9c49dc9383a6c55a973b1a75e619c296206b12f5commit | diff
Antlr: runtime -> libraries (#7338)

For static builds, there was a mixup of variable naming in FindANTLR3 (RUNTIME vs LIBRARIES).
cmake/FindANTLR3.cmake diff | blob | history