projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 623e4c7) | patch
better fix for #281, also fix issue with command line options not existing on older...
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 19:46:53 +0000 (19:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Sep 2011 19:46:53 +0000 (19:46 +0000)
commit2f15e89145ad68f1809dd15abb6b659a3817b260
tree3ebf28421e2d9d9dbb5b8c91c0ac1351081d8603tree
parent623e4c71b3ec579a5933b3c65dd1da67b007f6c9commit | diff
better fix for #281, also fix issue with command line options not existing on older g++en, like Apple's 4.2 on Snow Leopard.
config/cvc4.m4 diff | blob | history
configure.ac diff | blob | history
src/parser/cvc/Makefile.am diff | blob | history
src/util/Makefile.am diff | blob | history