53 |
char *parser_file_name = NULL; |
char *parser_file_name = NULL; |
54 |
|
|
55 |
char *infile = NULL; |
char *infile = NULL; |
|
char *attrsfile = NULL; |
|
56 |
|
|
57 |
static char *full_base_name = NULL; |
static char *full_base_name = NULL; |
58 |
|
|
422 |
src_extension = ".c"; |
src_extension = ".c"; |
423 |
if (!header_extension) |
if (!header_extension) |
424 |
header_extension = ".h"; |
header_extension = ".h"; |
425 |
|
|
426 |
parser_file_name = |
parser_file_name = |
427 |
spec_outfile ? spec_outfile : stringappend (full_base_name, src_extension); |
spec_outfile ? spec_outfile : stringappend (full_base_name, src_extension); |
428 |
|
|
429 |
/* It the defines filename if not given, we create it. */ |
/* It the defines filename if not given, we create it. */ |
430 |
if (!spec_defines_file) |
if (!spec_defines_file) |
431 |
spec_defines_file = stringappend (full_base_name, header_extension); |
spec_defines_file = stringappend (full_base_name, header_extension); |
435 |
spec_graph_file = stringappend (short_base_name, ".vcg"); |
spec_graph_file = stringappend (short_base_name, ".vcg"); |
436 |
|
|
437 |
spec_verbose_file = stringappend (short_base_name, EXT_OUTPUT); |
spec_verbose_file = stringappend (short_base_name, EXT_OUTPUT); |
|
|
|
|
attrsfile = stringappend (short_base_name, EXT_STYPE_H); |
|
438 |
} |
} |