From 539be0858a42508e2a990521280fa6c17186768a Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 2 Nov 2015 17:30:52 -0500 Subject: [PATCH] Adding a test to ensure the /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 | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 67d405765..3c482413b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -647,12 +647,8 @@ $(top_builddir)/src/.subdirs: $(top_srcdir)/src/Makefile.theories @top_srcdir@/ $(am__mv) $(top_builddir)/src/.subdirs.tmp $(top_builddir)/src/.subdirs; \ fi -# $(AM_V_at)(\ -# grep '^THEORIES = ' $(top_srcdir)/src/Makefile.theories | \ -# cut -d' ' -f3- | tr ' ' "\n" | \ -# xargs -I__D__ echo $(top_srcdir)/src/theory/__D__/kinds ) >$(top_builddir)/src/.subdirs.tmp - theory/rewriter_tables.h: theory/rewriter_tables_template.h theory/mkrewriter @top_builddir@/src/.subdirs @top_srcdir@/src/theory/*/kinds + $(AM_V_at)test -d $(top_builddir)/src/theory || mkdir -p @top_builddir@/src/theory $(AM_V_at)chmod +x @srcdir@/theory/mkrewriter $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/theory/mkrewriter \ @@ -661,6 +657,7 @@ theory/rewriter_tables.h: theory/rewriter_tables_template.h theory/mkrewriter @t > $@) || (rm -f $@ && exit 1) theory/theory_traits.h: theory/theory_traits_template.h theory/mktheorytraits @top_builddir@/src/.subdirs @top_srcdir@/src/theory/*/kinds + $(AM_V_at)test -d $(top_builddir)/src/theory || mkdir -p @top_builddir@/src/theory $(AM_V_at)chmod +x @srcdir@/theory/mktheorytraits $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/theory/mktheorytraits \ @@ -669,6 +666,7 @@ theory/theory_traits.h: theory/theory_traits_template.h theory/mktheorytraits @t > $@) || (rm -f $@ && exit 1) theory/type_enumerator.cpp: theory/type_enumerator_template.cpp theory/mktheorytraits @top_builddir@/src/.subdirs @top_srcdir@/src/theory/*/kinds + $(AM_V_at)test -d $(top_builddir)/src/theory || mkdir -p @top_builddir@/src/theory $(AM_V_at)chmod +x @srcdir@/theory/mktheorytraits $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true $(AM_V_GEN)(@srcdir@/theory/mktheorytraits \ -- 2.30.2