From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 6 Apr 2012 20:44:12 +0000 (+0000)
Subject: fix distributed builds (and therefore the Debian nightly build) by ignoring Makefile... 
X-Git-Tag: cvc5-1.0.0~8237
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a5fb6d945b109921cb9b6117f4ede0b6d110c08;p=cvc5.git

fix distributed builds (and therefore the Debian nightly build) by ignoring Makefile.am files under src/prop/cryptominisat.
---

diff --git a/configure.ac b/configure.ac
index b4471a0fe..47df960d5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1061,7 +1061,7 @@ AC_SUBST(MAN_DATE)
 AC_CONFIG_FILES([
   Makefile.builds
   Makefile]
-  m4_esyscmd([find contrib src test examples -name Makefile.am | grep -v '^contrib/theoryskel/' | sort | sed 's,\.am$,,'])
+  m4_esyscmd([find contrib src test examples -name Makefile.am | grep -v '^contrib/theoryskel/' | grep -v '^src/prop/cryptominisat/' | sort | sed 's,\.am$,,'])
 )
 
 if test $cvc4_has_threads = yes; then