update pet for explicitly linking in gmp
[barvinok.git] / barvinok_enumerate_options.c
blob5de15bc765b3fa31981eb96418e83bb6f143cfe8
1 #include "barvinok_enumerate_options.h"
3 struct isl_arg enumerate_options_arg[] = {
4 ISL_ARG_CHILD(struct enumerate_options, verify, NULL,
5 verify_options_arg, "verification")
6 ISL_ARG_CHILD(struct enumerate_options, convert, NULL,
7 convert_options_arg, "output conversion")
8 ISL_ARG_BOOL(struct enumerate_options, size, 'S', "size", 0, NULL)
9 ISL_ARG_BOOL(struct enumerate_options, series, 's', "series", 0,
10 "compute rational generating function")
11 ISL_ARG_BOOL(struct enumerate_options, function, 'e', "explicit", 0,
12 "convert rgf to psp")
13 ISL_ARG_END
16 ISL_ARG_DEF(enumerate_options, struct enumerate_options, enumerate_options_arg)