README: rename
[ppn.git] / c2pdg_options.h
blobc5a20eca8698622fe74eb3c143a38fac22b95267
1 #include <isl/options.h>
2 #include <pet.h>
4 #if defined(__cplusplus)
5 extern "C" {
6 #endif
7 struct options {
8 struct isl_options *isl;
9 struct pet_options *pet;
10 const char *input;
11 const char *function;
14 ISL_ARG_DECL(options, struct options, options_args)
16 #if defined(__cplusplus)
18 #endif