diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-07-19 12:36:39 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-07-19 12:36:39 +0200 |
| commit | cd1942a8454d569363b201f2345953e648ec9b53 (patch) | |
| tree | 705d59c07fa78d9f92a01d267ad2b6fde59c67df /Setup.hs | |
| parent | 6a8d0038eda22e34e7aeb006a08c1e931df6ce7f (diff) | |
WebSetup: fail silently when example grammars don't build
Also used installed RGL not built
Diffstat (limited to 'Setup.hs')
| -rw-r--r-- | Setup.hs | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -9,6 +9,7 @@ import Data.List(isPrefixOf,intersect) import System.Process(readProcess) import System.FilePath((</>),(<.>)) import System.Directory(createDirectoryIfMissing,copyFile,getDirectoryContents) +import System.Exit(die) import WebSetup @@ -380,7 +381,8 @@ run_gfc bi args = do let args' = numJobs (bf bi)++["-batch","-gf-lib-path="++rgl_src_dir] ++ filter (not . null) args gf = default_gf (lbi bi) - execute gf args' + ok <- execute gf args' + if ok then return () else die "Stopping" -- | Get path to locally-built gf default_gf :: LocalBuildInfo -> FilePath |
