annotate src/mk-oct-links @ 2644:f9492444329e

[project @ 1997-01-29 17:27:20 by jwe]
author jwe
date Wed, 29 Jan 1997 17:27:20 +0000
parents
children 044d25a60ea1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2644
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh -e
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
2
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
3 # Create additional links to .oct files that define more than one
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
4 # function.
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
5
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
6 # If the first arg is -p, only print the links we need to make.
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
7
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
8 # The first non-option arg is taken as the directory where the .oct
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
9 # files are installed. The remaining arguments should be the list of
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
10 # source files that were used to create the .oct files.
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
11
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
12 print_only=false
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
13 if [ $1 = "-p" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
14 print_only=true
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
15 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
16 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
17
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
18 links_dir=$1
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
19 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
20
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
21 for f in "$@"; do
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
22 base=`basename $f | sed 's/\.cc$//'`
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
23 fcns=`grep -h '^ *DEFUN_DLD' $f |\
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
24 sed -e 's/DEFUN_DLD *( *//' -e 's/ *,.*$//' |\
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
25 sort -u`
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
26 if [ -n "$fcns" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
27 for n in $fcns; do
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
28 if [ "$n" = "$base" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
29 true
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
30 else
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
31 if $print_only; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
32 echo $base.oct $n.oct
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
33 else
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
34 echo "creating link $n.oct -> $base.oct"
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
35 ( cd $links_dir; rm -f $n.oct; ln $base.oct $n.oct )
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
36 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
37 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
38 done
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
39 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
40 done
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
41
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
42 exit $?