diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-12-12 11:25:58 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-12-12 11:25:58 +0000 |
| commit | aa13090b66d7ee1ffc68ad242c6419a83cf364d9 (patch) | |
| tree | d36bacbc5f4e0990aae925da31ddeaf2a465a003 /src/runtime/c/utils/pgf2yaml.c | |
| parent | 5e091d2e3dc428daa1d4b0d8df6e7b613adc22a9 (diff) | |
started an official API to the C runtime
Diffstat (limited to 'src/runtime/c/utils/pgf2yaml.c')
| -rw-r--r-- | src/runtime/c/utils/pgf2yaml.c | 11 |
1 files changed, 8 insertions, 3 deletions
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 <gu/file.h> #include <gu/utf8.h> -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"); |