1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
Description: use 'gt dev skproto'
Author: Sascha Steinbiss <satta@debian.org>
Last-Update: 2020-02-08
--- a/src/bin/mkfilegoals.pl
+++ b/src/bin/mkfilegoals.pl
@@ -167,7 +167,7 @@
} elsif($ARGV[$i] eq 'princ')
{
printf("../include/%%.pr:%%.c\n");
- printf("\tskproto \$< > \$@\n\n");
+ printf("\tgt dev skproto \$< > \$@\n\n");
} elsif($ARGV[$i] eq 'splint')
{
genericgoal('splint');
@@ -232,7 +232,7 @@
printf("\ttouch \$*.splint\n\n");
} elsif($kind eq 'pr')
{
- printf("\tskproto \$< > \$@\n\n");
+ printf("\tgt dev skproto \$< > \$@\n\n");
} elsif($kind eq 'prepro')
{
printf("\t\${CC} -E -g3 \${CFLAGS} ${CPPFLAGS} -DDEBUG -c \$< -o \$@\n");
--- a/src/doc/libdoc/Rules.tex
+++ b/src/doc/libdoc/Rules.tex
@@ -362,7 +362,7 @@
precisely, if a function is defined in file \emph{cfunc}\texttt{.c},
then the prototypes are to be defined in \emph{cfunc}\texttt{.pr}.
The prototypes are extracted from the code using the program
-\texttt{skproto}. A binary of the program can be found in the directory
+\texttt{gt dev skproto}. A binary of the program can be found in the directory
\texttt{/projects/gi/bin}.
The current code for this program is
available as part of the \texttt{SKtools} in
--- a/src/doc/progman.tex
+++ b/src/doc/progman.tex
@@ -308,7 +308,7 @@
precisely, if a function is defined in file \emph{cfunc}\texttt{.c},
then the prototypes are to be defined in \emph{cfunc}\texttt{.pr}.
The prototypes are extracted from the code using the program
-\texttt{skproto}. The current code for this program is
+\texttt{gt dev skproto}. The current code for this program is
available as part of the \texttt{SKtools} in
in the CVS-tree at \texttt{roma.zbh.uni-hamburg.de:/projects/gicvs/SKtools}.
\end{enumerate}
--- a/src/kurtz/Filegoals.mf
+++ b/src/kurtz/Filegoals.mf
@@ -21,7 +21,7 @@
rm -f *.splint
../include/%.pr:%.c
- skproto $< > $@
+ gt dev skproto $< > $@
.PHONY:mkdircompiledir
mkdircompiledir:
--- a/src/kurtz/libtest/Filegoals.mf
+++ b/src/kurtz/libtest/Filegoals.mf
@@ -47,7 +47,7 @@
indent $@
%.pr:%.c
- skproto $< > $@
+ gt dev skproto $< > $@
%.splint:%.c
splint ${SPLINTFLAGS} $<
--- a/src/kurtz/Mkprotodef.sh
+++ b/src/kurtz/Mkprotodef.sh
@@ -55,5 +55,5 @@
PairUint *maxwit,
ArrayVnode *stack);
ENDOFINCLUDE
-skproto $*
+gt dev skproto $*
echo "#endif"
--- a/src/Mkvtree/Filegoals.mf
+++ b/src/Mkvtree/Filegoals.mf
@@ -43,7 +43,7 @@
indent $@
%.pr:%.c
- skproto $< > $@
+ gt dev skproto $< > $@
%.splint:%.c
splint ${SPLINTFLAGS} $<
--- a/src/Vmatch/Filegoals.mf
+++ b/src/Vmatch/Filegoals.mf
@@ -71,7 +71,7 @@
indent $@
%.pr:%.c
- skproto $< > $@
+ gt dev skproto $< > $@
%.splint:%.c
splint ${SPLINTFLAGS} $<
--- a/src/Vmengine/Filegoals.mf
+++ b/src/Vmengine/Filegoals.mf
@@ -21,7 +21,7 @@
rm -f *.splint
../include/%.pr:%.c
- skproto $< > $@
+ gt dev skproto $< > $@
.PHONY:mkdircompiledir
mkdircompiledir:
--- a/src/Vmengine/Makefile
+++ b/src/Vmengine/Makefile
@@ -49,7 +49,7 @@
${MAKE} -C libtest
vmengineexport.h:${VMENGINEKERN}
- cat ${VMENGINEKERN} | skproto > $@
+ cat ${VMENGINEKERN} | gt dev skproto > $@
${COMPILEDIR}vmatfind-dyn.o:vmatfind.c ../include/virtualdef.h
${CC} ${CFLAGS} ${CPPFLAGS} -DDYNAMICALPHABET -c vmatfind.c -o $@
|
