projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41483ef) | patch
Changing the dependency checking; GMP is required (and sometimes must be explicitly...
authorMorgan Deters <mdeters@gmail.com>
Sat, 3 Mar 2012 23:29:20 +0000 (23:29 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 3 Mar 2012 23:29:20 +0000 (23:29 +0000)
commit323090e50edd5da02292e76a5510d4d6ae2d7f94
tree96bd77ed552b5a80edb3dae88837caa688a4858etree
parent41483ef432845445816409454a2ea09872ed1afdcommit | diff
Changing the dependency checking; GMP is required (and sometimes must be explicitly linked in with -l) when using CLN.  Fixes a bug on recent Debian that Francois reported.  Hopefully this doesn't break anything..
configure.ac diff | blob | history