4 #include <polylib/polylibgmp.h>
5 #include <barvinok/util.h>
6 #include <barvinok/barvinok.h>
10 #define getopt_long(a,b,c,d,e) getopt(a,b,c)
13 struct option options
[] = {
14 { "version", no_argument
, 0, 'V' },
19 int main(int argc
, char **argv
)
24 struct barvinok_options
*bv_options
= barvinok_options_new_with_defaults();
26 while ((c
= getopt_long(argc
, argv
, "V", options
, &ind
)) != -1) {
29 printf(barvinok_version());
35 A
= Polyhedron_Read(bv_options
->MaxRays
);
37 Polyhedron_Print(stdout
, P_VALUE_FMT
, A
);
38 barvinok_count_with_options(A
, &cb
, bv_options
);
39 value_print(stdout
, P_VALUE_FMT
, cb
);