projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36e939d) | patch
Some fixes to build system with dependency-tracking is off; should fix RPM/Debian...
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 16:05:28 +0000 (11:05 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 16:05:28 +0000 (11:05 -0500)
commit5df7d235ce1d57e9d78e66ee66ab0d3b53ca3fcd
tree927f97ae480eecffe1a7c1d1f792a84d81a5080btree
parent36e939d31e8ac8fe2866f996af44ea268447c295commit | diff
Some fixes to build system with dependency-tracking is off; should fix RPM/Debian builds.
config/cvc4.m4 diff | blob | history
src/Makefile.am diff | blob | history
src/options/mkoptions diff | blob | history
src/theory/Makefile.subdirs diff | blob | history