diff options
| author | hallgren <hallgren@chalmers.se> | 2012-06-08 11:17:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-06-08 11:17:46 +0000 |
| commit | 302b9f1b135953702cc7d31169a7746bd1be53ef (patch) | |
| tree | c17b82ed5a5c2810084e5d94174a96d52d4ea672 /src/compiler | |
| parent | e9abd718993a6c5d54743015d50270b8ca60dcf6 (diff) | |
More detailed version info in the output of "gf -version"
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/GF.hs b/src/compiler/GF.hs index 052e02c88..40ce7fed3 100644 --- a/src/compiler/GF.hs +++ b/src/compiler/GF.hs @@ -6,6 +6,7 @@ import GFI import GF.Data.ErrM import GF.Infra.Option import GF.Infra.UseIO +import GF.Infra.BuildInfo (buildInfo) import Paths_gf import Data.Version @@ -41,7 +42,7 @@ main = do mainOpts :: Options -> [FilePath] -> IO () mainOpts opts files = 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 ModeInteractive -> mainGFI opts files ModeRun -> mainRunGFI opts files |