projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bc2004) | patch
Adding a test to ensure the <build>/src/theory directory is available to the scripts...
authorTim King <taking@google.com>
Mon, 2 Nov 2015 22:30:52 +0000 (17:30 -0500)
committerTim King <taking@google.com>
Tue, 3 Nov 2015 05:30:15 +0000 (00:30 -0500)
commit539be0858a42508e2a990521280fa6c17186768a
tree4cf513ff0d2bf37b9ff945c7f436c498ce79000etree
parent5bc200446b4165814db47e6e3639972af31ad0a6commit | diff
Adding a test to ensure the <build>/src/theory directory is available to the scripts in src/Makefile.am. This should fix a bug in building the debian packages.
src/Makefile.am diff | blob | history