projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0eb2a03) | patch
fix some things with the build system (make dist, make install, make check)
authorMorgan Deters <mdeters@gmail.com>
Mon, 15 Nov 2010 20:08:17 +0000 (20:08 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 15 Nov 2010 20:08:17 +0000 (20:08 +0000)
commit80596bc6e2a4aba6c14d408a41a214579b636f03
tree17a09dc22f5bf10c7008e0b8467052ae92112149tree
parent0eb2a0362fee06023f0668e94bb566b69f4a7cdacommit | diff
fix some things with the build system (make dist, make install, make check)
Makefile.am diff | blob | history
src/Makefile.am diff | blob | history
src/theory/Makefile.am diff | blob | history
test/Makefile.am diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bv/Makefile [new file with mode: 0644] blob
test/regress/regress0/bv/core/Makefile [new file with mode: 0644] blob
test/regress/regress0/lemmas/Makefile [new file with mode: 0644] blob
test/regress/regress0/push-pop/Makefile [new file with mode: 0644] blob
test/regress/regress0/push-pop/Makefile.am [new file with mode: 0644] blob