33 |
/* File name pfx specified with -b, or 0 if no -b. */ |
/* File name pfx specified with -b, or 0 if no -b. */ |
34 |
extern char *spec_file_prefix; |
extern char *spec_file_prefix; |
35 |
|
|
36 |
|
/* --verbose. */ |
37 |
|
extern char *spec_verbose_file; |
38 |
|
|
39 |
/* File name specified for the output VCG graph. */ |
/* File name specified for the output VCG graph. */ |
40 |
extern char *spec_graph_file; |
extern char *spec_graph_file; |
41 |
|
|
42 |
/* File name specified with --defines. */ |
/* File name specified with --defines. */ |
43 |
extern char *spec_defines_file; |
extern char *spec_defines_file; |
44 |
|
|
72 |
extern char *attrsfile; |
extern char *attrsfile; |
73 |
|
|
74 |
void open_files PARAMS((void)); |
void open_files PARAMS((void)); |
75 |
|
void close_files PARAMS((void)); |
76 |
|
|
77 |
|
void compute_output_file_names PARAMS((void)); |
78 |
void output_files PARAMS((void)); |
void output_files PARAMS((void)); |
79 |
|
|
80 |
FILE *xfopen PARAMS ((const char *name, const char *mode)); |
FILE *xfopen PARAMS ((const char *name, const char *mode)); |