-
Notifications
You must be signed in to change notification settings - Fork 1
/
makedist.sh
executable file
·89 lines (83 loc) · 2.9 KB
/
makedist.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#! /bin/sh
if [ -d publish/ver$1 ]; then
echo "ver $1 already exists"
else
if [ ! -d publish ]; then
mkdir publish
fi
mkdir publish/ver$1
mkdir publish/ver$1/celf
cp AbstractRecursion.sml publish/ver$1/celf/
cp ApproxTypes.sig publish/ver$1/celf/
cp ApproxTypes.sml publish/ver$1/celf/
cp BackTrack.sig publish/ver$1/celf/
cp BackTrack.sml publish/ver$1/celf/
cp CHANGELOG publish/ver$1/celf/
cp Context.sig publish/ver$1/celf/
cp Context.sml publish/ver$1/celf/
cp Conv.sig publish/ver$1/celf/
cp Conv.sml publish/ver$1/celf/
cp Eta.sig publish/ver$1/celf/
cp Eta.sml publish/ver$1/celf/
cp ExactTypes.sig publish/ver$1/celf/
cp ExactTypes.sml publish/ver$1/celf/
cp ImplicitVars.sig publish/ver$1/celf/
cp ImplicitVars.sml publish/ver$1/celf/
cp ImplicitVarsConvert.sig publish/ver$1/celf/
cp ImplicitVarsConvert.sml publish/ver$1/celf/
cp NatSet.sig publish/ver$1/celf/
cp NatSet.sml publish/ver$1/celf/
cp OpSem.sig publish/ver$1/celf/
cp OpSem.sml publish/ver$1/celf/
cp Parse.sig publish/ver$1/celf/
cp Parse.sml publish/ver$1/celf/
cp PatternBind.sig publish/ver$1/celf/
cp PatternBind.sml publish/ver$1/celf/
cp PermuteList.sig publish/ver$1/celf/
cp PermuteList.sml publish/ver$1/celf/
cp PrettyPrint.sig publish/ver$1/celf/
cp PrettyPrint.sml publish/ver$1/celf/
cp RandomAccessList.sig publish/ver$1/celf/
cp RandomAccessList.sml publish/ver$1/celf/
cp README publish/ver$1/celf/
cp RemDepend.sig publish/ver$1/celf/
cp RemDepend.sml publish/ver$1/celf/
cp Rnd-mlkit.sml publish/ver$1/celf/
cp Rnd-smlnj-mlton.sml publish/ver$1/celf/
cp Rnd.sig publish/ver$1/celf/
cp Signatur.sml publish/ver$1/celf/
cp SignaturTable.sig publish/ver$1/celf/
cp SignaturTable.sml publish/ver$1/celf/
cp Subst.sml publish/ver$1/celf/
cp SymbTable.sig publish/ver$1/celf/
cp SymbTable.sml publish/ver$1/celf/
cp Syntax.sig publish/ver$1/celf/
cp Syntax.sml publish/ver$1/celf/
cp TopLevelUtil.sml publish/ver$1/celf/
cp TypeCheck.sig publish/ver$1/celf/
cp TypeCheck.sml publish/ver$1/celf/
cp TypeRecon.sig publish/ver$1/celf/
cp TypeRecon.sml publish/ver$1/celf/
cp Unify.sig publish/ver$1/celf/
cp Unify.sml publish/ver$1/celf/
cp Util.sig publish/ver$1/celf/
cp Util.sml publish/ver$1/celf/
cp VRef.sig publish/ver$1/celf/
cp VRef.sml publish/ver$1/celf/
cp celf.grm publish/ver$1/celf/
cp celf.lex publish/ver$1/celf/
cp celf.mlb publish/ver$1/celf/
cp celf-mlkit.mlb publish/ver$1/celf/
cp license-gpl3.txt publish/ver$1/celf/
cp main-export.sml publish/ver$1/celf/
cp main-run.sml publish/ver$1/celf/
cp main.sml publish/ver$1/celf/
cp sources.cm publish/ver$1/celf/
cp .mkexec publish/ver$1/celf/
echo "ignore cvs comments about celf.lex.sml, celf.grm.sig, and celf.grm.sml"
cvs stat CHANGELOG README celf.lex celf.grm celf.mlb *.cm .mkexec *.sml *.sig | grep Reposit > publish/ver$1/ver$1.txt
grep "Celf ver" main.sml
cd publish/ver$1
tar -c celf | gzip > celf-v$1.tgz
cd ../..
fi