summaryrefslogtreecommitdiff
path: root/src/GF/Compile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-03-06 21:27:49 +0000
committeraarne <aarne@cs.chalmers.se>2006-03-06 21:27:49 +0000
commit7d2a9992f3faee63461185580bbe254f6c288a68 (patch)
treeb9c968024a3d57ce5b630e3a24945a6ab87a95e6 /src/GF/Compile
parenta961739bbf672eaad0a26fb15372fcc68c902ef1 (diff)
more treebank options; updated history
Diffstat (limited to 'src/GF/Compile')
-rw-r--r--src/GF/Compile/MkConcrete.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Compile/MkConcrete.hs b/src/GF/Compile/MkConcrete.hs
index 0355cdaf0..da9fada00 100644
--- a/src/GF/Compile/MkConcrete.hs
+++ b/src/GF/Compile/MkConcrete.hs
@@ -65,7 +65,10 @@ mkCncGroups opts0 ((res,path),files) = do
putStrLn $ "Compiling resource " ++ res
let opts = addOptions (options [beSilent,pathList path]) opts0
let treebank = oElem (iOpt "treebank") opts
- egr <- appIOE $ shellStateFromFiles opts emptyShellState res
+ resf <- useIOE res $ do
+ (fp,_) <- readFileLibraryIOE gfLibraryPath res
+ return fp
+ egr <- appIOE $ shellStateFromFiles opts emptyShellState resf
(parser,morpho) <- if treebank then do
tb <- err (\_ -> error $ "no treebank of name" +++ path)
return