NO_DISTRIBUTE

   1 #
   2 #  These are the files that will not be put into a distribution tar file.
   3 #  We're using egrep patterns.
   4 #
   5 .*\.o
   6 .*\.report
   7 .*\.info
   8 .*/lib-src/Makefile
   9 .*/prop-src/Makefile
  10 .*/tools/pretty/niceprop
  11 .*/develop/.*
  12 .*/lib-src/libprop.a
  13 .*/prop-src/prop
  14 .*/app/willard/willard
  15 .*/app/test_vcg/exp
  16 .*/app/test_vcg/cfg
  17 .*/demos/exp
  18 .*/demos/prog
  19 .*/demos/persistent
  20 .*/demos/logic
  21 .*/demos/inference
  22 .*/demos/rewrite-trick[0-9]*
  23 .*/tests/list[0-9]*
  24 .*/tests/tuple
  25 .*/tests/rewriting[0-9]*
  26 .*/tests/test_gc[0-9]*
  27 .*/tests/qa[0-9]*
  28 .*/tests/prop[0-9]*