projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afde8f8) | patch
Fix configure handling for CLN (should fix win32 nightly builds)
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Dec 2013 16:47:50 +0000 (11:47 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Dec 2013 16:47:50 +0000 (11:47 -0500)
commitb605831878a2be688379f593ce39d37a3d7e18a3
treea5f77e254ba4eb67d49c8be518bdb632671ca97etree
parentafde8f8570dce4431c28ba6e8cbd69361d656374commit | diff
Fix configure handling for CLN (should fix win32 nightly builds)
configure.ac diff | blob | history