diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2022-08-24 12:02:10 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2022-08-24 12:02:10 +0200 |
| commit | e9bbd38f686a5026179b7295427d9620cf967ab7 (patch) | |
| tree | 581e6da1fce674f1e688fc132379791fae1f42cb /src/compiler/GF/Main.hs | |
| parent | 3fac8415ca76964de684c4d40d56f5a5ac1338b7 (diff) | |
`gf --version` now prints the shared folder to be used by the RGL
Diffstat (limited to 'src/compiler/GF/Main.hs')
| -rw-r--r-- | src/compiler/GF/Main.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/GF/Main.hs b/src/compiler/GF/Main.hs index 1b90430d6..2bf84dbc8 100644 --- a/src/compiler/GF/Main.hs +++ b/src/compiler/GF/Main.hs @@ -48,7 +48,10 @@ getOptions = do mainOpts :: Options -> [FilePath] -> IO () mainOpts opts files = case flag optMode opts of - ModeVersion -> putStrLn $ "Grammatical Framework (GF) version " ++ showVersion version ++ "\n" ++ buildInfo + ModeVersion -> do datadir <- getDataDir + putStrLn $ "Grammatical Framework (GF) version " ++ showVersion version ++ "\n" ++ + buildInfo ++ "\n" ++ + "Shared folder: " ++ datadir ModeHelp -> putStrLn helpMessage ModeServer port -> GFI1.mainServerGFI opts port files ModeCompiler -> mainGFC opts files |