diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,3 +1,4 @@ -builddir = builds +topdir = . +srcdir = . include Makefile.subdir |
index : cvc5.git | ||
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | Makefile | 3 |
@@ -1,3 +1,4 @@ -builddir = builds +topdir = . +srcdir = . include Makefile.subdir |