projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d2d37a) | patch
some build system changes reverted after the CLN build system work a few days ago...
authorMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:57:48 +0000 (00:57 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:57:48 +0000 (00:57 +0000)
commite66a1864c4e1a2c06e16efe951f5d86c96a8ab4c
treebb8140ab1df41493c36939c7fa38f1916b9918d9tree
parent9d2d37a02675275fa15407088358a1644b506d83commit | diff
some build system changes reverted after the CLN build system work a few days ago, these are now fixed:  competition configurations build with -O9 (as they used to); they are static-binary by default and shared libs are not built; also the default autoconf compiler flags "-g -O2" is removed from builds
configure.ac diff | blob | history