From aa13090b66d7ee1ffc68ad242c6419a83cf364d9 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 12 Dec 2012 11:25:58 +0000 Subject: started an official API to the C runtime --- src/runtime/c/utils/pgf2yaml.c | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'src/runtime/c/utils/pgf2yaml.c') diff --git a/src/runtime/c/utils/pgf2yaml.c b/src/runtime/c/utils/pgf2yaml.c index 32029aa75..0d32bf3e3 100644 --- a/src/runtime/c/utils/pgf2yaml.c +++ b/src/runtime/c/utils/pgf2yaml.c @@ -4,11 +4,16 @@ #include #include -int main(void) { +int main(int argc, char* argv[]) { + if (argc != 1) { + fprintf(stderr, "usage: %s pgf\n", argv[0]); + return 1; + } + char* filename = argv[1]; + GuPool* pool = gu_new_pool(); GuExn* err = gu_exn(NULL, type, pool); - GuIn* in = gu_file_in(stdin, pool); - PgfPGF* pgf = pgf_read(in, pool, err); + PgfPGF* pgf = pgf_read(filename, pool, err); int status = 0; if (!gu_ok(err)) { fprintf(stderr, "Reading PGF failed\n"); -- cgit v1.2.3