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 ..