X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=closure.c;h=a0faa15820add003abc2c3b9ef5aeca2d97e2eb6;hb=9adbecacd745f39cd51ae0b861caac63ecb7e842;hp=7f415e7acc87ab8e8d89878d8f2ba73e4f202358;hpb=adf6f98ef87dfd0f936ecff40c5cf4ef9626019f;p=platform%2Fupstream%2Fisl.git

diff --git a/closure.c b/closure.c
index 7f415e7..a0faa15 100644
--- a/closure.c
+++ b/closure.c
@@ -1,22 +1,31 @@
-#include <isl_map.h>
+#include <assert.h>
+#include <isl/map.h>
+#include <isl/options.h>
 
 int main(int argc, char **argv)
 {
 	struct isl_ctx *ctx;
 	struct isl_map *map;
+	struct isl_options *options;
 	int exact;
 
-	ctx = isl_ctx_alloc();
+	options = isl_options_new_with_defaults();
+	assert(options);
+	argc = isl_options_parse(options, argc, argv, ISL_ARG_ALL);
 
-	map = isl_map_read_from_file(ctx, stdin, -1);
+	ctx = isl_ctx_alloc_with_options(&isl_options_args, options);
+
+	map = isl_map_read_from_file(ctx, stdin);
 	map = isl_map_transitive_closure(map, &exact);
 	if (!exact)
 		printf("# NOT exact\n");
 	isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
+	printf("\n");
 	map = isl_map_compute_divs(map);
 	map = isl_map_coalesce(map);
 	printf("# coalesced\n");
 	isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
+	printf("\n");
 	isl_map_free(map);
 
 	isl_ctx_free(ctx);