summaryrefslogtreecommitdiff
path: root/GF.cabal
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-10-20 14:05:39 +0000
committerbjorn <bjorn@bringert.net>2008-10-20 14:05:39 +0000
commit05343e78a93bc7a248cab402fc1f0c92450f2a91 (patch)
tree9bdc77ddbbd1e2e02fe00c3a16c80a4f61f10463 /GF.cabal
parent5cbc5aeb9dd201a894a401f784c0635790bae8b4 (diff)
Added on-demand parser generation back in. It's pretty unproblematic, and can help with memory use in some cases.
Diffstat (limited to 'GF.cabal')
-rw-r--r--GF.cabal4
1 files changed, 4 insertions, 0 deletions
diff --git a/GF.cabal b/GF.cabal
index 023fc4655..864a9005a 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -588,6 +588,10 @@ library
GF.Data.Assoc
GF.Data.ErrM
GF.Text.UTF8
+-- needed only for the on demand generation of PMCFG
+ GF.Data.BacktrackM
+ GF.Compile.GenerateFCFG
+ GF.Compile.GeneratePMCFG
executable gf
build-depends: base,