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         build-cudd-2.4.2-with-libtool.sh \
  15         build-cudd-2.5.0-with-libtool.sh \
  16         mac-build \
  17         run-script-smtcomp2012 \
  18         theoryskel/kinds \
  19         theoryskel/Makefile \
  20         theoryskel/Makefile.am \
  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