make it possible to merge PGF files in the compiler

2026-05-01 07:12:50 -06:00 · 2021-12-22 10:47:22 +01:00
parent c4bd898dc0
commit 12b4958b99
10 changed files with 165 additions and 75 deletions
--- a/src/runtime/c/pgf/pgf.h
+++ b/src/runtime/c/pgf/pgf.h
@@ -257,6 +257,11 @@ PgfDB *pgf_new_ngf(PgfText *abstract_name,
                   PgfRevision *revision,
                   PgfExn* err);

+PGF_API
+void pgf_merge_pgf(PgfDB *db, PgfRevision revision,
+                   const char* fpath,
+                   PgfExn* err);
+
 PGF_API_DECL
 void pgf_write_pgf(const char* fpath,
                   PgfDB *db, PgfRevision revision,