projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add the remake and configure infrastructure.
[tatoo.git]
/
tools
/
gen_mlpack.sh
1
#!/bin/sh
2
3
cd src
4
echo `pwd`
5
for dir in *
6
do
7
if [ -d "$dir" ]
8
then
9
echo "$dir"
10
rm -f "$dir".mlpack
11
cd "$dir"
12
for i in *.ml *.mly *.mll
13
do
14
if [ ! -f "$i" ]
15
then
16
continue
17
fi
18
echo "$i"
19
f=`echo "$i" | cut -b1`
20
l=`basename "$i" .mll`
21
l=`basename "$l" .mly`
22
l=`basename "$l" .ml | cut -b2-`
23
o=`echo "$f" | tr a-z A-Z`
24
echo "$dir"/"$o""$l" >> ../"$dir".mlpack
25
done
26
cd ..
27
fi
28
done
29
cd ..