annotate src/mk-oct-links @ 4720:e759d01692db ss-2-1-53

[project @ 2004-01-23 04:13:37 by jwe]
author jwe
date Fri, 23 Jan 2004 04:13:37 +0000
parents 02fcb550f20c
children 4c8a2e4e0717
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
4299
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 4045
diff changeset
13 SED=${SED:-'sed'}
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 4045
diff changeset
14
2644
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
15 print_only=false
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
16 if [ $1 = "-p" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
17 print_only=true
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
18 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
19 fi
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 links_dir=$1
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
22 shift
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
23
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
24 for f in "$@"; do
4299
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 4045
diff changeset
25 base=`basename $f | $SED 's/\.df$//'`
4045
b908aaa4080a [project @ 2002-08-15 17:38:54 by jwe]
jwe
parents: 2821
diff changeset
26 fcns=`grep '^ *XDEFUN_DLD_INTERNAL' $f |\
4299
02fcb550f20c [project @ 2003-01-16 20:15:14 by jwe]
jwe
parents: 4045
diff changeset
27 $SED -e 's/XDEFUN_DLD_INTERNAL *( *//' -e 's/ *,.*$//' |\
2644
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
28 sort -u`
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
29 if [ -n "$fcns" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
30 for n in $fcns; do
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
31 if [ "$n" = "$base" ]; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
32 true
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 if $print_only; then
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
35 echo $base.oct $n.oct
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
36 else
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
37 echo "creating link $n.oct -> $base.oct"
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
38 ( 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
39 fi
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 fi
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
43 done
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
44
f9492444329e [project @ 1997-01-29 17:27:20 by jwe]
jwe
parents:
diff changeset
45 exit $?