contrib/Makefile.am

   1 EXTRA_DIST = \
   2         README \
   3         cvc-devel.el \
   4         dimacs_to_smt.pl \
   5         switch-config \
   6         cvc-mode.el \
   7         editing-with-emacs \
   8         luby.c \
   9         addsourcedir \
  10         new-theory \
  11         configure-in-place \
  12         depgraph \
  13         get-antlr-3.4 \
  14         mac-build \
  15         win32-build \
  16         run-script-smtcomp2014 \
  17         run-script-cascj7-fnt \
  18         run-script-cascj7-fof \
  19         run-script-cascj7-tff \
  20         theoryskel/kinds \
  21         theoryskel/README.WHATS-NEXT \
  22         theoryskel/theory_DIR.cpp \
  23         theoryskel/theory_DIR.h \
  24         theoryskel/theory_DIR_rewriter.h \
  25         theoryskel/theory_DIR_type_rules.h
  26         alttheoryskel/kinds \
  27         alttheoryskel/README.WHATS-NEXT \
  28         alttheoryskel/theory_DIR.cpp \
  29         alttheoryskel/theory_DIR.h