mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-27 03:38:55 -06:00
gf --version now prints the shared folder to be used by the RGL
This commit is contained in:
@@ -48,7 +48,10 @@ getOptions = do
|
|||||||
mainOpts :: Options -> [FilePath] -> IO ()
|
mainOpts :: Options -> [FilePath] -> IO ()
|
||||||
mainOpts opts files =
|
mainOpts opts files =
|
||||||
case flag optMode opts of
|
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
|
ModeHelp -> putStrLn helpMessage
|
||||||
ModeServer port -> GFI1.mainServerGFI opts port files
|
ModeServer port -> GFI1.mainServerGFI opts port files
|
||||||
ModeCompiler -> mainGFC opts files
|
ModeCompiler -> mainGFC opts files
|
||||||
|
|||||||
Reference in New Issue
Block a user