author | wenzelm |
Fri May 11 00:43:46 2007 +0200 (2007-05-11) | |
changeset 22932 | 53005f898665 |
parent 12721 | 226fc0e2e7e3 |
permissions | -rwxr-xr-x |
wenzelm@12721 | 1 |
#!/usr/bin/env bash |
wenzelm@9049 | 2 |
# |
wenzelm@9049 | 3 |
# $Id$ |
wenzelm@9049 | 4 |
|
wenzelm@9049 | 5 |
find . \( -name \*.ML -o -name \*.sml -o -name \*.sig \) -print | \ |
wenzelm@9049 | 6 |
etags \ |
wenzelm@9049 | 7 |
--language=none \ |
wenzelm@9049 | 8 |
--regex='/[ \t]*structure +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 9 |
--regex='/[ \t]*functor +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 10 |
--regex='/[ \t]*signature +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 11 |
--regex='/[ \t]*fun +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 12 |
--regex='/[ \t]*val +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 13 |
--regex='/[ \t]*and +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 14 |
--regex='/[ \t]*exception +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 15 |
--regex='/[ \t]*type +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 16 |
--regex='/[ \t]*datatype +\([A-Za-z_0-9]+\)/\1/' \ |
wenzelm@9049 | 17 |
--regex='/[ \t]*= +\([A-Z_]+\)/\1/' \ |
wenzelm@9049 | 18 |
--regex='/[ \t]*| +\([A-Z_]+\)/\1/' \ |
wenzelm@9049 | 19 |
- |
wenzelm@9049 | 20 |
|
wenzelm@9049 | 21 |
find . -type f -print | \ |
wenzelm@9049 | 22 |
fgrep -v .ML | \ |
wenzelm@9049 | 23 |
fgrep -v .sml | \ |
wenzelm@9049 | 24 |
fgrep -v .sig | \ |
wenzelm@9049 | 25 |
fgrep -v TAGS | \ |
wenzelm@9049 | 26 |
etags --language=none --append - |