projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c8e1acb)
Another build fix; the dust should be settled now.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 13 Nov 2013 17:07:36 +0000 (12:07 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 13 Nov 2013 17:07:36 +0000 (12:07 -0500)
contrib/Makefile.am patch | blob | history

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index 702bfe7fadcbc550ba1932601c32f322e67d7269..b707a9140bdd26549077ca2b5b85373a83439865 100644 (file)
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -15,16 +15,12 @@ EXTRA_DIST = \
        win32-build \
        run-script-smtcomp2012 \
        theoryskel/kinds \
-       theoryskel/Makefile \
-       theoryskel/Makefile.am \
        theoryskel/README.WHATS-NEXT \
        theoryskel/theory_DIR.cpp \
        theoryskel/theory_DIR.h \
        theoryskel/theory_DIR_rewriter.h \
        theoryskel/theory_DIR_type_rules.h
        alttheoryskel/kinds \
-       alttheoryskel/Makefile \
-       alttheoryskel/Makefile.am \
        alttheoryskel/README.WHATS-NEXT \
        alttheoryskel/theory_DIR.cpp \
        alttheoryskel/theory_DIR.h