diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-04 19:52:07 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-04 19:52:07 +0000 |
| commit | 1b08ca8a614874068fc1a21a4acbdf64e205b26b (patch) | |
| tree | 60ee7af4a5e1cb0d6aff1d457388b57e9cedc155 /src/compiler | |
| parent | d1b95cef99c0c7d699987d090fd203e138b18223 (diff) | |
Add build info to the GF shell welcome message
Diffstat (limited to 'src/compiler')
| -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" ] |