update barvinok for use of new glp_ API
[ppn.git] / eqv2_options.h
blob60b283394cebbee4824d23f249ff0bf1f6a682b3
1 #include <isl/ctx.h>
2 #include <isl/options.h>
3 #include "config.h"
5 #if defined(__cplusplus)
6 extern "C" {
7 #endif
9 struct options {
10 struct isl_options *isl;
12 char *context;
13 #ifdef HAVE_OMEGA_PLUS
14 int omega;
15 int try_lower;
16 #endif
18 const char *program[2];
21 ISL_ARG_DECL(eqv2_options, struct options, options_args)
22 ISL_ARG_CTX_DECL(eqv2_options, struct options, options_args)
24 #if defined(__cplusplus)
26 #endif