diff options
author | Liana Hadarean <lianahady@gmail.com> | 2011-10-28 19:24:38 +0000 |
---|---|---|
committer | Liana Hadarean <lianahady@gmail.com> | 2011-10-28 19:24:38 +0000 |
commit | b084a7efa9d65ec2f7475caa8486f8fd4cbafbd5 (patch) | |
tree | e118097c88787b7f2899bb8b2cbf865d058ef6bf /src/proof/Makefile | |
parent | 9547a48a7cdab8786c080779930de9c39655c52b (diff) |
merged the proofgen3 branch into trunk:
- can now output LFSC checkable resolution proofs
- added configuration option --enable-proof
- added command line argument --proof
To turn proofs on build with proofs enabled and run with --proof.
Diffstat (limited to 'src/proof/Makefile')
-rw-r--r-- | src/proof/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/proof/Makefile b/src/proof/Makefile new file mode 100644 index 000000000..b0985ba84 --- /dev/null +++ b/src/proof/Makefile @@ -0,0 +1,4 @@ +topdir = ../.. +srcdir = src/proof + +include $(topdir)/Makefile.subdir |