Adding an option to the gf compiler to add an index to pgf files

This is gonna be used by the android library to skip unused part of a pgf file
2026-04-22 19:22:50 -06:00 · 2010-12-11 16:36:30 +00:00
parent a59df6b495
commit d7ae73f1c7
4 changed files with 45 additions and 1 deletions
--- a/gf.cabal
+++ b/gf.cabal
@@ -145,6 +145,7 @@ executable gf
    GF.Compile.PGFtoProlog
    GF.Compile.PGFtoJS
    GF.Compile
+    GF.Index
    GF.Quiz
    PGF
    PGF.CId