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-smtcomp2012 \
  17         theoryskel/kinds \
  18         theoryskel/Makefile \
  19         theoryskel/Makefile.am \
  20         theoryskel/README.WHATS-NEXT \
  21         theoryskel/theory_DIR.cpp \
  22         theoryskel/theory_DIR.h \
  23         theoryskel/theory_DIR_rewriter.h \
  24         theoryskel/theory_DIR_type_rules.h
  25         alttheoryskel/kinds \
  26         alttheoryskel/Makefile \
  27         alttheoryskel/Makefile.am \
  28         alttheoryskel/README.WHATS-NEXT \
  29         alttheoryskel/theory_DIR.cpp \
  30         alttheoryskel/theory_DIR.h