From 90c3304147e3829b9ea7f73085e54d9d0811ca8b Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Mon, 11 Feb 2013 13:51:12 +0000 Subject: remove the pgf2yaml tool which was both broken and redundant. The declarations for generic programming from data.c are removed as well --- src/runtime/c/utils/pgf2yaml.c | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 src/runtime/c/utils/pgf2yaml.c (limited to 'src/runtime/c/utils') diff --git a/src/runtime/c/utils/pgf2yaml.c b/src/runtime/c/utils/pgf2yaml.c deleted file mode 100644 index 0d32bf3e3..000000000 --- a/src/runtime/c/utils/pgf2yaml.c +++ /dev/null @@ -1,34 +0,0 @@ -#include - -#include -#include -#include - -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); - PgfPGF* pgf = pgf_read(filename, pool, err); - int status = 0; - if (!gu_ok(err)) { - fprintf(stderr, "Reading PGF failed\n"); - status = 1; - goto fail_read; - } - GuOut* out = gu_file_out(stdout, pool); - GuOut* bout = gu_out_buffered(out, pool); - // GuWriter* wtr = gu_locale_writer(bout, pool); - GuWriter* wtr = gu_new_utf8_writer(bout, pool); - GuDump* ctx = gu_new_dump(wtr, NULL, err, pool); - gu_dump(gu_type(PgfPGF), pgf, ctx); - gu_writer_flush(wtr, err); -fail_read: - gu_pool_free(pool); - return status; -} - -- cgit v1.2.3