projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e073e) | patch
better detection for static binary building
authorMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 18:06:57 +0000 (18:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 18:06:57 +0000 (18:06 +0000)
commit468e6a88b7ffddbc4b95b0af96c975c2d5642060
tree563bfd0b5552108c6eabc230c5a16e9e050737a2tree
parent18e073e53b49f24539f29a68e8ec905dd628e9d3commit | diff
better detection for static binary building
configure.ac diff | blob | history