projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c1a60f) | patch
workaround for strange CIMS installation of automake; resolves bug 172: autogen fails...
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Jul 2010 21:47:05 +0000 (21:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Jul 2010 21:47:05 +0000 (21:47 +0000)
commit005200d69b6bd12cd4c15679ae1e6ffdb25b91a4
tree271716ab9fbae70c7ff33d2d33530163199df47etree
parent5c1a60fcd8681b67208aa930d8c133e10b227314commit | diff
workaround for strange CIMS installation of automake; resolves bug 172: autogen fails on CIMS machines
AUTHORS diff | blob | history
COPYING diff | blob | history
config/pkg.m4 [new file with mode: 0644] blob