diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Infra/BuildInfo.hs | 7 | ||||
| -rw-r--r-- | src/compiler/GFI.hs | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/compiler/GF/Infra/BuildInfo.hs b/src/compiler/GF/Infra/BuildInfo.hs new file mode 100644 index 000000000..127c7f6f3 --- /dev/null +++ b/src/compiler/GF/Infra/BuildInfo.hs @@ -0,0 +1,7 @@ +module GF.Infra.BuildInfo where +import System.Info +import Data.Version(showVersion) + +buildInfo = + "Built on "++os++"/"++arch + ++" with "++compilerName++"-"++showVersion compilerVersion
\ No newline at end of file diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index 1041b9c5d..0297240f6 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -20,6 +20,7 @@ import GF.Infra.CheckM import GF.Infra.UseIO import GF.Infra.Option import GF.Infra.Modules (greatestResource, modules, emptyModInfo) +import GF.Infra.BuildInfo (buildInfo) import qualified System.Console.Haskeline as Haskeline import GF.Text.Coding @@ -279,6 +280,7 @@ welcome = unlines [ " * * * ", " ", "This is GF version "++showVersion version++". ", + buildInfo, "License: see help -license. ", "Bug reports: http://code.google.com/p/grammatical-framework/issues/list" ] |