projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4618986) | patch
Use antlr-3.4 directory if already present in CVC4 root directory (#213)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 14 Aug 2017 18:27:53 +0000 (11:27 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Aug 2017 18:27:53 +0000 (11:27 -0700)
commit2addacac33a9f0d28462121dfac5a1392470d60d
tree689c75776c3b8b3ae7da2303f4d47215e76a342etree
parent4618986f539c8c0abee1b82105b6ccef513afecfcommit | diff
Use antlr-3.4 directory if already present in CVC4 root directory (#213)

* Find antlr-3.4 directory if installed via contrib/get-antlr-3.4.
config/antlr.m4 diff | blob | history