GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

gf -server: make it possible to pass arbitrary flags/options to gf when compiling grammars

Browse Source 
For example, you can add -optimize-pgf:

  http://localhost:41296/cloud?dir=...&command=remake&-optimize-pgf=&Foods2Eng.gf=&Foods2Swe.gf=
This commit is contained in:
hallgren
2012-11-06 15:29:38 +00:00
parent cfcf7cbc7f
commit 1dbf575a71
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/compiler/GFServer.hs
View File

@@ -211,9 +211,12 @@ handle state0 cache execute1
then return path then return path
else err $ resp400 $ "unacceptable path "++path else err $ resp400 $ "unacceptable path "++path
make skip dir files = make skip dir args =
do _ <- upload skip files do let (flags,files) = partition ((=="-").take 1.fst) args
let args = "-s":"-make":map fst files _ <- upload skip files
let args = "-s":"-make":map flag flags++map fst files
flag (n,"") = n
flag (n,v) = n++"="++v
cmd = unwords ("gf":args) cmd = unwords ("gf":args)
out <- liftIO $ readProcessWithExitCode "gf" args "" out <- liftIO $ readProcessWithExitCode "gf" args ""
cwd <- liftIO $ getCurrentDirectory cwd <- liftIO $ getCurrentDirectory