[commit: ghc] wip/nfs-locking: Add new configuration flags for generating Config.hs. (b8d04a6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/nfs-locking
Link       : http://ghc.haskell.org/trac/ghc/changeset/b8d04a663c092320d5b0fe2556349557d72ae373/ghc

>---------------------------------------------------------------

commit b8d04a663c092320d5b0fe2556349557d72ae373
Author: Andrey Mokhov <andrey.mokhov at gmail.com>
Date:   Wed Sep 23 02:07:52 2015 +0100

    Add new configuration flags for generating Config.hs.


>---------------------------------------------------------------

b8d04a663c092320d5b0fe2556349557d72ae373
 src/Oracles/Config/Setting.hs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/Oracles/Config/Setting.hs b/src/Oracles/Config/Setting.hs
index a01a7fa..8ee4752 100644
--- a/src/Oracles/Config/Setting.hs
+++ b/src/Oracles/Config/Setting.hs
@@ -20,11 +20,17 @@ data Setting = DynamicExtension
              | GhcMajorVersion
              | GhcMinorVersion
              | GhcPatchLevel
+             | GhcVersion
              | GhcSourcePath
              | HostArch
              | HostOs
+             | ProjectGitCommitId
+             | ProjectName
              | ProjectVersion
              | ProjectVersionInt
+             | ProjectPatchLevel
+             | ProjectPatchLevel1
+             | ProjectPatchLevel2
              | TargetArch
              | TargetOs
              | TargetPlatformFull
@@ -44,11 +50,17 @@ setting key = askConfig $ case key of
     GhcMajorVersion    -> "ghc-major-version"
     GhcMinorVersion    -> "ghc-minor-version"
     GhcPatchLevel      -> "ghc-patch-level"
+    GhcVersion         -> "ghc-version"
     GhcSourcePath      -> "ghc-source-path"
     HostArch           -> "host-arch"
     HostOs             -> "host-os"
+    ProjectGitCommitId -> "project-git-commit-id"
+    ProjectName        -> "project-name"
     ProjectVersion     -> "project-version"
     ProjectVersionInt  -> "project-version-int"
+    ProjectPatchLevel  -> "project-patch-level"
+    ProjectPatchLevel1 -> "project-patch-level1"
+    ProjectPatchLevel2 -> "project-patch-level2"
     TargetArch         -> "target-arch"
     TargetOs           -> "target-os"
     TargetPlatformFull -> "target-platform-full"