projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd6af91) | patch
"statistics" and "staticbinary" are now tags on the build (so you get build directori...
authorMorgan Deters <mdeters@gmail.com>
Fri, 18 Jun 2010 23:09:29 +0000 (23:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 18 Jun 2010 23:09:29 +0000 (23:09 +0000)
commit498bb02fc7d2539d41b778bc42e383ca8dbf6d9e
treea4192c19dd6f28a2547b647ffb1a385ac3e7b802tree
parentfd6af9181e763cd9564245114cfa47f3952484dbcommit | diff
"statistics" and "staticbinary" are now tags on the build (so you get build directories like builds/x86_64-unknown-linux-gnu/debug-staticbinary-nostatistics .. etc.  This is useful to distinguish static binary builds and statistics builds from each other when you configure multiple times in the same source directory
config/build-type diff | blob | history
config/cvc4.m4 diff | blob | history
configure.ac diff | blob | history