summaryrefslogtreecommitdiff
path: root/WebSetup.hs
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-08-08 17:02:36 +0000
committerhallgren <hallgren@chalmers.se>2014-08-08 17:02:36 +0000
commit02dda1e66f80047f0a8718557a8bf7cc84c16625 (patch)
tree254bfaeea8aa906c43674364e35e4803a04ce00c /WebSetup.hs
parentf07096c4093ddf7630713f5f4cc6fdc0ce663cd8 (diff)
Setup.hs: don't build example grammars when the rgl-none argument is specified
Diffstat (limited to 'WebSetup.hs')
-rw-r--r--WebSetup.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/WebSetup.hs b/WebSetup.hs
index f13977b02..b3007e3c7 100644
--- a/WebSetup.hs
+++ b/WebSetup.hs
@@ -33,7 +33,7 @@ example_grammars = -- :: [(pgf, subdir, src)]
letterSrc = ["Letter"++lang++".gf"|lang<-letterLangs]
letterLangs = words "Eng Fin Fre Heb Rus Swe"
-buildWeb gf args flags pkg lbi =
+buildWeb gf (pkg,lbi) =
do --putStrLn "buildWeb"
mapM_ build_pgf example_grammars
where
@@ -51,17 +51,17 @@ buildWeb gf args flags pkg lbi =
" --output-dir="++gfo_dir++
" "++unwords [dir</>file|file<-src]
-installWeb gf args flags pki lbi = setupWeb gf args dest pki lbi
+installWeb gf args flags = setupWeb gf args dest
where
dest = NoCopyDest
-copyWeb gf args flags pki lbi = setupWeb gf args dest pki lbi
+copyWeb gf args flags = setupWeb gf args dest
where
dest = case copyDest flags of
NoFlag -> NoCopyDest
Flag d -> d
-setupWeb gf args dest pkg lbi =
+setupWeb gf args dest (pkg,lbi) =
do mapM_ (createDirectoryIfMissing True) [grammars_dir,cloud_dir]
mapM_ copy_pgf example_grammars
copyGFLogo