eqv2_options.c

   1 #include "eqv2_options.h"
   2
   3 ISL_ARGS_START(struct options, options_args)
   4 ISL_ARG_CHILD(struct options, isl, NULL, &isl_options_args, "isl options")
   5 ISL_ARG_STR(struct options, context, 0, "context", "set", NULL, NULL)
   6 #ifdef HAVE_OMEGA_PLUS
   7 ISL_ARG_BOOL(struct options, omega, 0, "omega", 0, "use Omega+")
   8 ISL_ARG_BOOL(struct options, try_lower, 0, "try-lower", 0,
   9         "try calling Omega+'s TransitiveClosure first")
  10 #endif
  11 ISL_ARG_ARG(struct options, program[0], "program1", NULL)
  12 ISL_ARG_ARG(struct options, program[1], "program2", NULL)
  13 ISL_ARGS_END
  14
  15 ISL_ARG_DEF(eqv2_options, struct options, options_args)
  16 ISL_ARG_CTX_DEF(eqv2_options, struct options, options_args)