initial
[prop.git] / NO_DISTRIBUTE
blob8f94fe63caf2d2163cf48d4e7df58707b106a6b7
2 #  These are the files that will not be put into a distribution tar file.
3 #  We're using egrep patterns.
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]*