From e9bbd38f686a5026179b7295427d9620cf967ab7 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 24 Aug 2022 12:02:10 +0200 Subject: `gf --version` now prints the shared folder to be used by the RGL --- src/compiler/GF/Main.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/compiler') 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 -- cgit v1.2.3