89 |
-d, --defines also produce a header file\n\ |
-d, --defines also produce a header file\n\ |
90 |
-v, --verbose also produce an explanation of the automaton\n\ |
-v, --verbose also produce an explanation of the automaton\n\ |
91 |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
92 |
-o, --output-file=FILE leave output to FILE\n"), stream); |
-o, --output-file=FILE leave output to FILE\n\ |
93 |
|
-g, --graph also produce a VCG graph description of the \ |
94 |
|
automaton\n"), stream); |
95 |
putc ('\n', stream); |
putc ('\n', stream); |
96 |
|
|
97 |
fputs (_("\ |
fputs (_("\ |
155 |
exit (0); |
exit (0); |
156 |
|
|
157 |
case 'g': |
case 'g': |
158 |
|
/* Here, the -g and --graph=FILE options are differentiated. */ |
159 |
graph_flag = 1; |
graph_flag = 1; |
160 |
|
spec_graph_file = optarg; |
161 |
break; |
break; |
162 |
|
|
163 |
case 'v': |
case 'v': |
169 |
break; |
break; |
170 |
|
|
171 |
case 'd': |
case 'd': |
172 |
|
/* Here, the -d and --defines options are differentiated. */ |
173 |
defines_flag = 1; |
defines_flag = 1; |
174 |
|
spec_defines_file = optarg; |
175 |
break; |
break; |
176 |
|
|
177 |
case 'l': |
case 'l': |