projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0deb883) | patch
public tests need to be linked against gmp/cln explicitly---looks like a subtle linke...
authorMorgan Deters <mdeters@gmail.com>
Mon, 14 Nov 2011 20:12:32 +0000 (20:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 14 Nov 2011 20:12:32 +0000 (20:12 +0000)
commitdb91d5e5ad954b7a25eddd4a3e075584abc8bee3
tree220721641b3aac101118bf51f450dee3a0360a81tree
parent0deb883f8c5ba550fda8b90501890940fd916a1bcommit | diff
public tests need to be linked against gmp/cln explicitly---looks like a subtle linker change in Ubuntu 11.10 oneiric :-(
test/unit/Makefile.am diff | blob | history