projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02c7932) | patch
tls.h, rational.h, and integer.h are only re-generated if changed. this obviates...
authorMorgan Deters <mdeters@gmail.com>
Fri, 17 Dec 2010 23:09:15 +0000 (23:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 17 Dec 2010 23:09:15 +0000 (23:09 +0000)
commiteecc1e4f301711dbb2bf1508ea0ba6cd20acd593
tree72f28f268aa5a8978b87c9220811d6e8b675a27ftree
parent02c793249635ca25e1d611125074e6afdd91533fcommit | diff
tls.h, rational.h, and integer.h are only re-generated if changed.  this obviates the need for a full rebuild just because you re-./configured.
config/cvc4.m4 diff | blob | history
configure.ac diff | blob | history