#include <assert.h>
-#include <isl_map.h>
+#include <isl/map.h>
+#include <isl/options.h>
int main(int argc, char **argv)
{
options = isl_options_new_with_defaults();
assert(options);
- argc = isl_options_parse(options, argc, argv);
+ argc = isl_options_parse(options, argc, argv, ISL_ARG_ALL);
- ctx = isl_ctx_alloc_with_options(options);
+ ctx = isl_ctx_alloc_with_options(&isl_options_args, options);
- map = isl_map_read_from_file(ctx, stdin, -1);
+ map = isl_map_read_from_file(ctx, stdin);
map = isl_map_transitive_closure(map, &exact);
if (!exact)
printf("# NOT exact\n");