From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 29 Nov 2017 04:11:36 +0000 (-0800)
Subject: Add Cryptominisat script and patches to source file distribution.
X-Git-Tag: cvc5-1.0.0~5447
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41917106e89bd35e99ac313f0a5ca13f72f86d93;p=cvc5.git

Add Cryptominisat script and patches to source file distribution.

This enables building CVC4 from a source release with Cryptominisat support.
---

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index f65019882..937b223bf 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -9,8 +9,11 @@ EXTRA_DIST = \
 	addsourcedir \
 	new-theory \
 	configure-in-place \
+	cryptominisat-4.2.0.patch \
+	cryptominisat-4.2.0.second.patch \
 	depgraph \
 	get-antlr-3.4 \
+	get-cryptominisat4 \
 	get-win-dependencies \
 	mac-build \
 	run-script-smtcomp2014 \