projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c07b0c4) | patch
for static linking of driver binary, list libmain.a first (fixes link errors in last...
authorMorgan Deters <mdeters@gmail.com>
Mon, 25 Oct 2010 15:42:56 +0000 (15:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 25 Oct 2010 15:42:56 +0000 (15:42 +0000)
commit9400454b997b381c7683205fef94325ed673c1f6
tree2e89390fc2ac687f925029adeb6dc906facba6c4tree
parentc07b0c42ed93af43c236064f3fb0ef779d3e7bb8commit | diff
for static linking of driver binary, list libmain.a first (fixes link errors in last night's regressions)
src/main/Makefile.am diff | blob | history