projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4941b3c) | patch
reverse the order of link arguments to -lcln -lgmp, fixes linking errors for static...
authorMorgan Deters <mdeters@gmail.com>
Mon, 16 Jul 2012 15:51:51 +0000 (15:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 16 Jul 2012 15:51:51 +0000 (15:51 +0000)
commitaaa6a0b8d9807804a76db3eb6e9a218da55cf844
treeaeaf8df849c282889ed3b08b2faac927740ba092tree
parent4941b3c516361183b4623f5660128e4f1bcce809commit | diff
reverse the order of link arguments to -lcln -lgmp, fixes linking errors for static-binary CLN-enabled builds on greed
configure.ac diff | blob | history