[commit: ghc] wip/nfs-locking: Generate files with DeriveConstants (#39). (c6cfb36)

git at git.haskell.org git at git.haskell.org
Thu Oct 26 23:31:04 UTC 2017


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

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

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

commit c6cfb36c2d7ca4f76d3da54d06b40fb86890e7ef
Author: Andrey Mokhov <andrey.mokhov at gmail.com>
Date:   Sun Dec 27 01:53:52 2015 +0000

    Generate files with DeriveConstants (#39).


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

c6cfb36c2d7ca4f76d3da54d06b40fb86890e7ef
 src/Rules/Actions.hs                     | 29 +++++++++++----------
 src/Rules/Generate.hs                    | 22 ++++++++++++++--
 src/Settings/Args.hs                     |  2 ++
 src/Settings/Builders/DeriveConstants.hs | 44 ++++++++++++++++++++++++++++++++
 src/Settings/Builders/GhcCabal.hs        |  1 +
 5 files changed, 82 insertions(+), 16 deletions(-)

diff --git a/src/Rules/Actions.hs b/src/Rules/Actions.hs
index 5a3d113..30ae742 100644
--- a/src/Rules/Actions.hs
+++ b/src/Rules/Actions.hs
@@ -47,20 +47,21 @@ build = buildWithResources []
 
 interestingInfo :: Builder -> [String] -> [String]
 interestingInfo builder ss = case builder of
-    Alex     -> prefixAndSuffix 0 3 ss
-    Ar       -> prefixAndSuffix 2 1 ss
-    Gcc _    -> prefixAndSuffix 0 4 ss
-    GccM _   -> prefixAndSuffix 0 1 ss
-    Ghc _    -> prefixAndSuffix 0 4 ss
-    GhcCabal -> prefixAndSuffix 3 0 ss
-    GhcM _   -> prefixAndSuffix 1 1 ss
-    GhcPkg _ -> prefixAndSuffix 3 0 ss
-    Haddock  -> prefixAndSuffix 1 0 ss
-    Happy    -> prefixAndSuffix 0 3 ss
-    Hsc2Hs   -> prefixAndSuffix 0 3 ss
-    HsCpp    -> prefixAndSuffix 0 1 ss
-    Ld       -> prefixAndSuffix 4 0 ss
-    _        -> ss
+    Alex            -> prefixAndSuffix 0 3 ss
+    Ar              -> prefixAndSuffix 2 1 ss
+    DeriveConstants -> prefixAndSuffix 3 0 ss
+    Gcc _           -> prefixAndSuffix 0 4 ss
+    GccM _          -> prefixAndSuffix 0 1 ss
+    Ghc _           -> prefixAndSuffix 0 4 ss
+    GhcCabal        -> prefixAndSuffix 3 0 ss
+    GhcM _          -> prefixAndSuffix 1 1 ss
+    GhcPkg _        -> prefixAndSuffix 3 0 ss
+    Haddock         -> prefixAndSuffix 1 0 ss
+    Happy           -> prefixAndSuffix 0 3 ss
+    Hsc2Hs          -> prefixAndSuffix 0 3 ss
+    HsCpp           -> prefixAndSuffix 0 1 ss
+    Ld              -> prefixAndSuffix 4 0 ss
+    _               -> ss
   where
     prefixAndSuffix n m list =
         let len = length list in
diff --git a/src/Rules/Generate.hs b/src/Rules/Generate.hs
index e427dfd..2121a9c 100644
--- a/src/Rules/Generate.hs
+++ b/src/Rules/Generate.hs
@@ -1,4 +1,6 @@
-module Rules.Generate (generatePackageCode, generateRules) where
+module Rules.Generate (
+    generatePackageCode, generateRules, includesDependencies
+    ) where
 
 import Expression
 import GHC
@@ -15,6 +17,19 @@ import Settings
 primopsSource :: FilePath
 primopsSource = "compiler/prelude/primops.txt.pp"
 
+derivedConstantsPath :: FilePath
+derivedConstantsPath = "includes/dist-derivedconstants/header"
+
+-- TODO: can we drop COMPILER_INCLUDES_DEPS += $(includes_GHCCONSTANTS)?
+includesDependencies :: [FilePath]
+includesDependencies =
+    [ "includes/ghcautoconf.h"
+    , "includes/ghcplatform.h"
+    , derivedConstantsPath -/- "DerivedConstants.h"
+    , derivedConstantsPath -/- "GHCConstantsHaskellType.hs"
+    , derivedConstantsPath -/- "GHCConstantsHaskellWrappers.hs"
+    , derivedConstantsPath -/- "GHCConstantsHaskellExports.hs" ]
+
 -- The following generators and corresponding source extensions are supported:
 knownGenerators :: [ (Builder, String) ]
 knownGenerators =  [ (Alex   , ".x"  )
@@ -33,7 +48,6 @@ generate file target expr = do
     writeFileChanged file contents
     putSuccess $ "| Successfully generated '" ++ file ++ "'."
 
-
 generatePackageCode :: Resources -> PartialTarget -> Rules ()
 generatePackageCode _ target @ (PartialTarget stage pkg) =
     let path        = targetPath stage pkg
@@ -71,6 +85,10 @@ generatePackageCode _ target @ (PartialTarget stage pkg) =
                 build $ fullTarget target GenPrimopCode [primopsTxt] [file]
 
         priority 2.0 $ do
+            when (pkg == compiler && stage == Stage1) $
+                derivedConstantsPath ++ "//*" %> \file -> do
+                    build $ fullTarget target DeriveConstants [] [file]
+
             when (pkg == compiler) $ buildPath -/- "Config.hs" %> \file -> do
                 file <~ generateConfigHs
 
diff --git a/src/Settings/Args.hs b/src/Settings/Args.hs
index 231f5ed..5419f51 100644
--- a/src/Settings/Args.hs
+++ b/src/Settings/Args.hs
@@ -3,6 +3,7 @@ module Settings.Args (getArgs) where
 import Expression
 import Settings.Builders.Alex
 import Settings.Builders.Ar
+import Settings.Builders.DeriveConstants
 import Settings.Builders.Gcc
 import Settings.Builders.GenPrimopCode
 import Settings.Builders.Ghc
@@ -32,6 +33,7 @@ defaultArgs = mconcat
     , arArgs
     , cabalArgs
     , customPackageArgs
+    , deriveConstantsArgs
     , gccArgs
     , gccMArgs
     , genPrimopCodeArgs
diff --git a/src/Settings/Builders/DeriveConstants.hs b/src/Settings/Builders/DeriveConstants.hs
new file mode 100644
index 0000000..4353875
--- /dev/null
+++ b/src/Settings/Builders/DeriveConstants.hs
@@ -0,0 +1,44 @@
+module Settings.Builders.DeriveConstants (
+    derivedConstantsPath, deriveConstantsArgs
+    ) where
+
+import Expression
+import Oracles.Config.Flag
+import Oracles.Config.Setting
+import Predicates (builder, file)
+import Settings.Builders.GhcCabal
+
+derivedConstantsPath :: FilePath
+derivedConstantsPath = "includes/dist-derivedconstants/header"
+
+-- TODO: do we need to support `includes_CC_OPTS += -DDYNAMIC_BY_DEFAULT`?
+deriveConstantsArgs :: Args
+deriveConstantsArgs = builder DeriveConstants ? do
+    cFlags <- fromDiffExpr includeCcArgs
+    mconcat
+        [ file "//DerivedConstants.h"             ? arg "--gen-header"
+        , file "//GHCConstantsHaskellType.hs"     ? arg "--gen-haskell-type"
+        , file "//platformConstants"              ? arg "--gen-haskell-value"
+        , file "//GHCConstantsHaskellWrappers.hs" ? arg "--gen-haskell-wrappers"
+        , file "//GHCConstantsHaskellExports.hs"  ? arg "--gen-haskell-exports"
+        , arg "-o", arg =<< getOutput
+        , arg "--tmpdir", arg derivedConstantsPath
+        , arg "--gcc-program", arg =<< getBuilderPath (Gcc Stage1)
+        , append . concat $ map (\a -> ["--gcc-flag", a]) cFlags
+        , arg "--nm-program", arg =<< getBuilderPath Nm
+        , specified Objdump ? mconcat [ arg "--objdump-program"
+                                      , arg =<< getBuilderPath Objdump ]
+        , arg "--target-os", arg =<< getSetting TargetOs ]
+
+includeCcArgs :: Args
+includeCcArgs = do
+    confCcArgs <- lift . settingList $ ConfCcArgs Stage1
+    mconcat
+        [ ccArgs
+        , ccWarnings
+        , append confCcArgs
+        , flag GhcUnregisterised ? arg "-DUSE_MINIINTERPRETER"
+        , append $ map ("-I" ++) ghcIncludeDirs -- TODO: fix code duplication
+        , arg "-Irts"
+        , notM ghcWithSMP ? arg "-DNOSMP"
+        , arg "-fcommon" ]
diff --git a/src/Settings/Builders/GhcCabal.hs b/src/Settings/Builders/GhcCabal.hs
index 80c4f4c..cec876a 100644
--- a/src/Settings/Builders/GhcCabal.hs
+++ b/src/Settings/Builders/GhcCabal.hs
@@ -208,6 +208,7 @@ argStagedBuilderPath :: (Stage -> Builder) -> Args
 argStagedBuilderPath sb = (argM . builderPath . sb) =<< getStage
 
 -- Pass arguments to Gcc and corresponding lists of sub-arguments of GhcCabal
+-- TODO: simplify
 appendCcArgs :: [String] -> Args
 appendCcArgs xs = do
     mconcat [ stagedBuilder Gcc  ? append xs



More information about the ghc-commits mailing list