annotate src/mkops @ 4220:c20a1e67cef6

[project @ 2002-12-06 22:18:54 by jwe]
author jwe
date Fri, 06 Dec 2002 22:18:55 +0000
parents 7aae2c3636a7
children 02fcb550f20c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2909
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
1 #!/bin/sh
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
2
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
3 cat << \EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
4 // DO NOT EDIT! Generated automatically by mkbuiltins.
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
5
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
6 #ifdef HAVE_CONFIG_H
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
7 #include "config.h"
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
8 #endif
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
9
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
10 extern void install_base_type_conversions (void);
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
11
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
12 EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
13
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
14 for file in "$@"; do
3225
7aae2c3636a7 [project @ 1998-12-04 23:20:12 by jwe]
jwe
parents: 2941
diff changeset
15 f=`echo $file | sed 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
2909
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
16 echo "extern void install_${f}_ops (void);"
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
17 done
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
18
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
19 cat << \EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
20
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
21 void
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
22 install_ops (void)
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
23 {
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
24 install_base_type_conversions ();
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
25
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
26 EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
27
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
28 for file in "$@"; do
3225
7aae2c3636a7 [project @ 1998-12-04 23:20:12 by jwe]
jwe
parents: 2941
diff changeset
29 f=`echo $file | sed 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
2909
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
30 echo " install_${f}_ops ();"
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
31 done
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
32
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
33 cat << \EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
34 }
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
35 EOF
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
36
057273789b87 [project @ 1997-04-30 06:34:32 by jwe]
jwe
parents:
diff changeset
37 exit 0