Set output files from command line
This commit is contained in:
parent
d6deff997e
commit
fda24d9c22
2 changed files with 3 additions and 5 deletions
|
@ -287,8 +287,6 @@ void output_t::emit_source() {
|
||||||
|
|
||||||
void output_t::write() {
|
void output_t::write() {
|
||||||
emit_header();
|
emit_header();
|
||||||
std::fflush(header_file);
|
|
||||||
|
|
||||||
emit_source();
|
emit_source();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -78,8 +78,8 @@ bool read_grammar(const char *filename, parser_state_t *state) {
|
||||||
int main(int argc, char *argv[]) {
|
int main(int argc, char *argv[]) {
|
||||||
using namespace solar;
|
using namespace solar;
|
||||||
|
|
||||||
if (argc < 2) {
|
if (argc < 4) {
|
||||||
std::fprintf(stderr, "Usage: solar FILE\n");
|
std::fprintf(stderr, "Usage: solar INPUT SOURCE HEADER\n");
|
||||||
return 1;
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -89,7 +89,7 @@ int main(int argc, char *argv[]) {
|
||||||
|
|
||||||
generator_t generator(state.get_rules(), state.get_nonterm_types(), state.get_term_types());
|
generator_t generator(state.get_rules(), state.get_nonterm_types(), state.get_term_types());
|
||||||
|
|
||||||
output_t output(&generator, "/dev/stdout", "/dev/stdout");
|
output_t output(&generator, argv[3], argv[2]);
|
||||||
output.write();
|
output.write();
|
||||||
|
|
||||||
return 0;
|
return 0;
|
||||||
|
|
Reference in a new issue