nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1diff --git a/Eli/pkg/Input/Include.fw b/Eli/pkg/Input/Include.fw
2index 7b841d9..17740c4 100644
3--- a/Eli/pkg/Input/Include.fw
4+++ b/Eli/pkg/Input/Include.fw
5@@ -58,6 +58,7 @@ extern char *auxEOF();
6 #include "clp_dapto.h"
7 #endif
8
9+extern void _dapto_source_changed(const char *, int, int, int, int, int);
10
11 /* Action to switch to a new input file: */
12
13diff --git a/Eli/pkg/burg/burg/be.c b/Eli/pkg/burg/burg/be.c
14index 8540f5b..55b1332 100644
15--- a/Eli/pkg/burg/burg/be.c
16+++ b/Eli/pkg/burg/burg/be.c
17@@ -332,7 +332,7 @@ makeLHSmap()
18 fprintf(outfile, "};\n\n");
19 }
20
21-static int seminal(from, to)
22+static int seminal(int from, int to)
23 {
24 return allpairs[from][to].rule ? allpairs[from][to].rule->erulenum : 0;
25
26diff --git a/Eli/pkg/cola/option/derivedSrcs/clpintf.c b/Eli/pkg/cola/option/derivedSrcs/clpintf.c
27index 77b28ce..ba988eb 100644
28--- a/Eli/pkg/cola/option/derivedSrcs/clpintf.c
29+++ b/Eli/pkg/cola/option/derivedSrcs/clpintf.c
30@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
31 static CONST char *fileerrmsg;
32 static int fileerrmsgusage;
33
34+extern void _dapto_source_changed(const char *, int, int, int, int, int);
35 /*
36 * SetFileErr
37 */
38diff --git a/Eli/pkg/cola/trafos/pgs2cmr/derivedSrcs/clpintf.c b/Eli/pkg/cola/trafos/pgs2cmr/derivedSrcs/clpintf.c
39index 77b28ce..ba988eb 100644
40--- a/Eli/pkg/cola/trafos/pgs2cmr/derivedSrcs/clpintf.c
41+++ b/Eli/pkg/cola/trafos/pgs2cmr/derivedSrcs/clpintf.c
42@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
43 static CONST char *fileerrmsg;
44 static int fileerrmsgusage;
45
46+extern void _dapto_source_changed(const char *, int, int, int, int, int);
47 /*
48 * SetFileErr
49 */
50diff --git a/Eli/pkg/eli/treebuild.c b/Eli/pkg/eli/treebuild.c
51index 9718bf0..c789a6b 100644
52--- a/Eli/pkg/eli/treebuild.c
53+++ b/Eli/pkg/eli/treebuild.c
54@@ -40,6 +40,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
55 #endif
56
57 extern void Zerteiler ELI_ARG((void));
58+extern void _dapto_source_changed(const char *, int, int, int, int, int);
59
60 void
61 #ifdef PROTO_OK
62diff --git a/Eli/pkg/gla/frontend/clpintf.c b/Eli/pkg/gla/frontend/clpintf.c
63index 77b28ce..ba988eb 100644
64--- a/Eli/pkg/gla/frontend/clpintf.c
65+++ b/Eli/pkg/gla/frontend/clpintf.c
66@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
67 static CONST char *fileerrmsg;
68 static int fileerrmsgusage;
69
70+extern void _dapto_source_changed(const char *, int, int, int, int, int);
71 /*
72 * SetFileErr
73 */
74diff --git a/Eli/pkg/info/texinfo/makeinfo.c b/Eli/pkg/info/texinfo/makeinfo.c
75index 9b2923f..d58e371 100644
76--- a/Eli/pkg/info/texinfo/makeinfo.c
77+++ b/Eli/pkg/info/texinfo/makeinfo.c
78@@ -4788,7 +4788,7 @@ int px_ref_flag = 0; /* Controls initial output string. */
79
80 /* Make a cross reference. */
81 int
82-cm_xref (arg)
83+cm_xref (int arg)
84 {
85 if (arg == START)
86 {
87diff --git a/Eli/pkg/info/texinfo/texindex.c b/Eli/pkg/info/texinfo/texindex.c
88index 7bd6a00..d2003e3 100644
89--- a/Eli/pkg/info/texinfo/texindex.c
90+++ b/Eli/pkg/info/texinfo/texindex.c
91@@ -897,6 +897,7 @@ readline (linebuffer, stream)
92 void
93 sort_offline (infile, nfiles, total, outfile)
94 char *infile;
95+ int nfiles;
96 long total;
97 char *outfile;
98 {
99diff --git a/Eli/pkg/kwd/derivedSrcs/clpintf.c b/Eli/pkg/kwd/derivedSrcs/clpintf.c
100index 77b28ce..ba988eb 100644
101--- a/Eli/pkg/kwd/derivedSrcs/clpintf.c
102+++ b/Eli/pkg/kwd/derivedSrcs/clpintf.c
103@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
104 static CONST char *fileerrmsg;
105 static int fileerrmsgusage;
106
107+extern void _dapto_source_changed(const char *, int, int, int, int, int);
108 /*
109 * SetFileErr
110 */
111diff --git a/Eli/pkg/liga/frontend/derivedSrcs/treebuild.c b/Eli/pkg/liga/frontend/derivedSrcs/treebuild.c
112index 71ac16e..a463673 100644
113--- a/Eli/pkg/liga/frontend/derivedSrcs/treebuild.c
114+++ b/Eli/pkg/liga/frontend/derivedSrcs/treebuild.c
115@@ -40,6 +40,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
116 #endif
117
118 extern void Zerteiler ELI_ARG((void));
119+extern void _dapto_source_changed(const char *, int, int, int, int, int);
120
121 void
122 #ifdef PROTO_OK
123diff --git a/Eli/pkg/liga/idl/lookup_idl.c b/Eli/pkg/liga/idl/lookup_idl.c
124index 839bc7f..9350b8e 100644
125--- a/Eli/pkg/liga/idl/lookup_idl.c
126+++ b/Eli/pkg/liga/idl/lookup_idl.c
127@@ -161,7 +161,7 @@ void free_did_table()
128 *****************************************/
129
130 Def
131-lookup_def(did)
132+lookup_def(int did)
133 {
134
135 /* returns a pointer to the definition with id did */
136@@ -175,7 +175,7 @@ lookup_def(did)
137 *****************************************/
138
139 Attrdef
140-lookup_attrdef(did)
141+lookup_attrdef(int did)
142 {
143
144 /* returns a pointer to the attributedefinition with id did */
145diff --git a/Eli/pkg/liga/ligaProd/derivedSrcs/treebuild.c b/Eli/pkg/liga/ligaProd/derivedSrcs/treebuild.c
146index 9718bf0..c789a6b 100644
147--- a/Eli/pkg/liga/ligaProd/derivedSrcs/treebuild.c
148+++ b/Eli/pkg/liga/ligaProd/derivedSrcs/treebuild.c
149@@ -40,6 +40,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
150 #endif
151
152 extern void Zerteiler ELI_ARG((void));
153+extern void _dapto_source_changed(const char *, int, int, int, int, int);
154
155 void
156 #ifdef PROTO_OK
157diff --git a/Eli/pkg/liga/middle/order/initdp.c b/Eli/pkg/liga/middle/order/initdp.c
158index 38358eb..0cfd822 100644
159--- a/Eli/pkg/liga/middle/order/initdp.c
160+++ b/Eli/pkg/liga/middle/order/initdp.c
161@@ -313,7 +313,7 @@ char * pr_graphstate_text(graph_state)
162 ************************************************************************/
163 static
164 void enter_dp_matrix (seqexpr, pid, tosymptr, toaid)
165- SEQExpr seqexpr; SLNODE *tosymptr; int toaid;
166+ SEQExpr seqexpr; int pid; SLNODE *tosymptr; int toaid;
167 /*
168 on entry: pid is the current rule,
169 row is the graph row of the target attribute,
170diff --git a/Eli/pkg/liga/option/derivedSrcs/treebuild.c b/Eli/pkg/liga/option/derivedSrcs/treebuild.c
171index 512803e..f64bddf 100644
172--- a/Eli/pkg/liga/option/derivedSrcs/treebuild.c
173+++ b/Eli/pkg/liga/option/derivedSrcs/treebuild.c
174@@ -40,6 +40,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
175 #endif
176
177 extern void Zerteiler ELI_ARG((void));
178+extern void _dapto_source_changed(const char *, int, int, int, int, int);
179
180 void
181 #ifdef PROTO_OK
182diff --git a/Eli/pkg/maptool/complete/clpintf.c b/Eli/pkg/maptool/complete/clpintf.c
183index 77b28ce..1e83aea 100644
184--- a/Eli/pkg/maptool/complete/clpintf.c
185+++ b/Eli/pkg/maptool/complete/clpintf.c
186@@ -53,6 +53,8 @@ Suite 330, Boston, MA 02111-1307, USA. */
187 static CONST char *fileerrmsg;
188 static int fileerrmsgusage;
189
190+extern void _dapto_source_changed(const char *, int, int, int, int, int);
191+
192 /*
193 * SetFileErr
194 */
195diff --git a/Eli/pkg/maptool/ebnf/clpintf.c b/Eli/pkg/maptool/ebnf/clpintf.c
196index 77b28ce..ba988eb 100644
197--- a/Eli/pkg/maptool/ebnf/clpintf.c
198+++ b/Eli/pkg/maptool/ebnf/clpintf.c
199@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
200 static CONST char *fileerrmsg;
201 static int fileerrmsgusage;
202
203+extern void _dapto_source_changed(const char *, int, int, int, int, int);
204 /*
205 * SetFileErr
206 */
207diff --git a/Eli/pkg/pdl/derivedSrcs/clpintf.c b/Eli/pkg/pdl/derivedSrcs/clpintf.c
208index ca18187..1920382 100644
209--- a/Eli/pkg/pdl/derivedSrcs/clpintf.c
210+++ b/Eli/pkg/pdl/derivedSrcs/clpintf.c
211@@ -53,6 +53,8 @@ Suite 330, Boston, MA 02111-1307, USA. */
212 static CONST char *fileerrmsg;
213 static int fileerrmsgusage;
214
215+extern void _dapto_source_changed(const char *, int, int, int, int, int);
216+
217 /*
218 * SetFileErr
219 */
220diff --git a/Eli/pkg/ptg/derivedSrcs/clpintf.c b/Eli/pkg/ptg/derivedSrcs/clpintf.c
221index 77b28ce..ba988eb 100644
222--- a/Eli/pkg/ptg/derivedSrcs/clpintf.c
223+++ b/Eli/pkg/ptg/derivedSrcs/clpintf.c
224@@ -53,6 +53,7 @@ Suite 330, Boston, MA 02111-1307, USA. */
225 static CONST char *fileerrmsg;
226 static int fileerrmsgusage;
227
228+extern void _dapto_source_changed(const char *, int, int, int, int, int);
229 /*
230 * SetFileErr
231 */