update pet to version 0.11.2
[ppn.git] / pn_options.c
blob48dfa4044d5911166e1c4b40e3b3826bef7d22a8
1 #include <stdio.h>
2 #include "pn_options.h"
3 #include "version.h"
5 static void print_version(void)
7 printf("%s\n", pdg_version());
10 ISL_ARGS_START(struct pn_options, pn_options_args)
11 ISL_ARG_CHILD(struct pn_options, size, NULL, &size_options_args, NULL)
12 ISL_ARG_BOOL(struct pn_options, reuse, 0, "reuse", 1, NULL)
13 ISL_ARG_BOOL(struct pn_options, merge, 0, "merge", 1, NULL)
14 ISL_ARG_BOOL(struct pn_options, propagate, 0, "propagation", 1, NULL)
15 ISL_ARG_BOOL(struct pn_options, shift_register, 0, "shift-register", 1, NULL)
16 ISL_ARG_BOOL(struct pn_options, reschedule, 0, "reschedule", 1, NULL)
17 ISL_ARG_BOOL(struct pn_options, move, 0, "move", 0, NULL)
18 ISL_ARG_STR(struct pn_options, input, 'i', "input", "filename", NULL, NULL)
19 ISL_ARG_STR(struct pn_options, output, 'o', "output", "filename", NULL, NULL)
20 ISL_ARG_VERSION(&print_version)
21 ISL_ARGS_END
23 ISL_ARG_DEF(pn_options, struct pn_options, pn_options_args)