projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25a999f) | patch
Changing ANTLR3 detection in configure (Fixes #147)
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 3 Jun 2010 16:47:05 +0000 (16:47 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 3 Jun 2010 16:47:05 +0000 (16:47 +0000)
commita120ebfd29062a8681f8a1e03c598bc9c7c2a790
treea26fb991e35fb8b39029a8c724c89ac9f96fceadtree
parent25a999fdfd2e38098d0c8dc6b788c9debe4401d5commit | diff
Changing ANTLR3 detection in configure (Fixes #147)
config/antlr.m4 diff | blob | history