projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0f66dd1)
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distc...
authorTim King <taking@cs.nyu.edu>
Tue, 27 Oct 2015 06:59:54 +0000 (02:59 -0400)
committerTim King <taking@cs.nyu.edu>
Tue, 27 Oct 2015 06:59:54 +0000 (02:59 -0400)
src/Makefile.am patch | blob | history

diff --git a/src/Makefile.am b/src/Makefile.am
index 9502afa9c354fe25b9aedc7a6f61960e0047d467..67d40576507ed75cb32932d01ded6c25a6ead0f3 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -489,6 +489,7 @@ EXTRA_DIST = \
        include/cvc4_public.h \
        include/cvc4.h \
        cvc4.i \
+       mksubdirs \
        Makefile.theories \
        smt/smt_options_template.cpp \
        smt/modal_exception.i \