annotate src/mk-oct-links @ 4045:b908aaa4080a

[project @ 2002-08-15 17:38:54 by jwe]
author jwe
date Thu, 15 Aug 2002 17:38:55 +0000
parents 044d25a60ea1
children 02fcb550f20c
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
4045
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
10 # .df files corresponding to the source files that were used to
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
11 # create the .oct files.
2644
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
12
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
13 print_only=false
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
14 if [ $1 = "-p" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
15 print_only=true
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
16 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
17 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
18
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
19 links_dir=$1
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
20 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
21
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
22 for f in "$@"; do
4045
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
23 base=`basename $f | sed 's/\.df$//'`
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
24 fcns=`grep '^ *XDEFUN_DLD_INTERNAL' $f |\
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
25 sed -e 's/XDEFUN_DLD_INTERNAL *( *//' -e 's/ *,.*$//' |\
2644
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
26 sort -u`
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
27 if [ -n "$fcns" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
28 for n in $fcns; do
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
29 if [ "$n" = "$base" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
30 true
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
31 else
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
32 if $print_only; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
33 echo $base.oct $n.oct
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
34 else
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
35 echo "creating link $n.oct -> $base.oct"
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
36 ( 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
37 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
38 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
39 done
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
40 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
41 done
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
42
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
43 exit $?