10 |
exit (1); |
exit (1); |
11 |
|
|
12 |
// handle command-line options |
// handle command-line options |
13 |
|
{ |
14 |
Diderot_Options_t *opts = Diderot_OptNew (); |
Diderot_Options_t *opts = Diderot_OptNew (); |
15 |
|
@PREFIX@Inputs_t inputs; |
16 |
Diderot_OptAddFlag (opts, "verbose", "enable runtime-system messages", &(wrld->verboseFlg)); |
Diderot_OptAddFlag (opts, "verbose", "enable runtime-system messages", &(wrld->verboseFlg)); |
17 |
Diderot_OptAddFlag (opts, "timing", "enable execution timing", &timingFlg); |
Diderot_OptAddFlag (opts, "timing", "enable execution timing", &timingFlg); |
18 |
Diderot_OptAddFlag (opts, "text", "enable text output", &printOutputFlg); |
Diderot_OptAddFlag (opts, "text", "enable text output", &printOutputFlg); |
19 |
RegisterGlobalOpts (wrld, opts); |
RegisterGlobalOpts (&inputs, opts); |
20 |
Diderot_OptProcess (opts, argc, argv); |
Diderot_OptProcess (opts, argc, argv); |
21 |
Diderot_OptFree (opts); |
Diderot_OptFree (opts); |
22 |
|
InitInputs (wrld, &inputs); |
23 |
|
} |
24 |
|
|
25 |
// run the generated global initialization code |
// run the generated global initialization code |
26 |
if (wrld->verboseFlg) |
if (wrld->verboseFlg) |