projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94eaed5) | patch
Sometimes antlr decides to generate lexers and parsers in a different directory than...
authorMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 00:40:40 +0000 (00:40 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 00:40:40 +0000 (00:40 +0000)
commitb335fcb563d61665259248bfc9b74fa807071e6a
tree7230fe16f6f6637c300db9d07e4e2528bc684694tree
parent94eaed5b44c271e940e92c05d7162534ce256cafcommit | diff
Sometimes antlr decides to generate lexers and parsers in a different directory than specified by "-o dir" ?!   Fix that by specifying "-fo dir".
src/parser/cvc/Makefile.am diff | blob | history
src/parser/smt/Makefile.am diff | blob | history
src/parser/smt2/Makefile.am diff | blob | history