forked from GitHub/gf-core
More detailed version info in the output of "gf -version"
This commit is contained in:
@@ -6,6 +6,7 @@ import GFI
|
|||||||
import GF.Data.ErrM
|
import GF.Data.ErrM
|
||||||
import GF.Infra.Option
|
import GF.Infra.Option
|
||||||
import GF.Infra.UseIO
|
import GF.Infra.UseIO
|
||||||
|
import GF.Infra.BuildInfo (buildInfo)
|
||||||
import Paths_gf
|
import Paths_gf
|
||||||
|
|
||||||
import Data.Version
|
import Data.Version
|
||||||
@@ -41,7 +42,7 @@ main = 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
|
ModeVersion -> putStrLn $ "Grammatical Framework (GF) version " ++ showVersion version ++ "\n" ++ buildInfo
|
||||||
ModeHelp -> putStrLn helpMessage
|
ModeHelp -> putStrLn helpMessage
|
||||||
ModeInteractive -> mainGFI opts files
|
ModeInteractive -> mainGFI opts files
|
||||||
ModeRun -> mainRunGFI opts files
|
ModeRun -> mainRunGFI opts files
|
||||||
|
|||||||
Reference in New Issue
Block a user