X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=closure.c;h=a0faa15820add003abc2c3b9ef5aeca2d97e2eb6;hb=296aafbbff2f2e0c06dff9d58ca5ce22d22999b3;hp=86556950af35c100e472654f896266e0cece5596;hpb=c841d8e3476d706c45b9b8f964a4717c417f0f5f;p=platform%2Fupstream%2Fisl.git

diff --git a/closure.c b/closure.c
index 8655695..a0faa15 100644
--- a/closure.c
+++ b/closure.c
@@ -1,14 +1,21 @@
-#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");