Add new autogen-modules field to BuildInfo

Author: fmaste

Cabal/Distribution/PackageDescription.hs

@@ -28,6 +28,10 @@ module Distribution.PackageDescription (
         defaultRenaming,
         lookupRenaming,
 
+        -- ** Module names
+        allModuleNames,
+        allModuleNamesAutogen,
+
         -- ** Libraries
         Library(..),
         ModuleReexport(..),
@@ -36,13 +40,15 @@ module Distribution.PackageDescription (
         hasPublicLib,
         hasLibs,
         libModules,
+        libModulesAutogen,
 
         -- ** Executables
         Executable(..),
         emptyExecutable,
         withExe,
         hasExes,
         exeModules,
+        exeModulesAutogen,
 
         -- * Tests
         TestSuite(..),
@@ -54,6 +60,7 @@ module Distribution.PackageDescription (
         hasTests,
         withTest,
         testModules,
+        testModulesAutogen,
 
         -- * Benchmarks
         Benchmark(..),
@@ -65,6 +72,7 @@ module Distribution.PackageDescription (
         hasBenchmarks,
         withBenchmark,
         benchmarkModules,
+        benchmarkModulesAutogen,
 
         -- * Build information
         BuildInfo(..),

Cabal/Distribution/PackageDescription/Check.hs

@@ -41,6 +41,7 @@ import Distribution.PackageDescription.Configuration
 import Distribution.Compiler
 import Distribution.System
 import Distribution.License
+import Distribution.Simple.BuildPaths (autogenModuleName)
 import Distribution.Simple.CCompiler
 import Distribution.Simple.Utils hiding (findPackageDesc, notice)
 import Distribution.Version
@@ -245,6 +246,12 @@ checkLibrary pkg lib =
       PackageDistInexcusable $
            "To use the 'required-signatures' field the package needs to specify "
         ++ "at least 'cabal-version: >= 1.21'."
+
+    -- check that all autogen-modules appear on other-modules or exposed-modules
+  , checkVersion [1,25] (not $ and $ map (flip elem (libModules lib)) (libModulesAutogen lib)) $
+      PackageBuildWarning $
+           "An 'autogen-module' is neither on 'exposed-modules' or 'other-modules'."
+
   ]
 
   where
@@ -282,6 +289,14 @@ checkExecutable pkg exe =
        PackageBuildImpossible $
             "Duplicate modules in executable '" ++ exeName exe ++ "': "
          ++ commaSep (map display moduleDuplicates)
+
+    -- check that all autogen-modules appear on other-modules
+  , checkSpecVersion pkg [1,25]
+      (not $ and $ map (flip elem (exeModules exe)) (exeModulesAutogen exe)) $
+      PackageBuildWarning $
+             "On executable '" ++ exeName exe ++ "' an 'autogen-module' is "
+          ++ "not on 'other-modules'"
+
   ]
   where
     moduleDuplicates = dups (exeModules exe)
@@ -319,6 +334,13 @@ checkTestSuite pkg test =
       PackageDistInexcusable $
            "The package uses a C/C++/obj-C source file for the 'main-is' field. "
         ++ "To use this feature you must specify 'cabal-version: >= 1.18'."
+
+    -- check that all autogen-modules appear on other-modules
+  , checkSpecVersion pkg [1,25]
+      (not $ and $ map (flip elem (testModules test)) (testModulesAutogen test)) $
+      PackageBuildWarning $
+             "On test suite '" ++ testName test ++ "' an 'autogen-module' is "
+          ++ "not on 'other-modules'"
   ]
   where
     moduleDuplicates = dups $ testModules test
@@ -332,7 +354,7 @@ checkTestSuite pkg test =
       _                   -> False
 
 checkBenchmark :: PackageDescription -> Benchmark -> [PackageCheck]
-checkBenchmark _pkg bm =
+checkBenchmark pkg bm =
   catMaybes [
 
     case benchmarkInterface bm of
@@ -358,6 +380,13 @@ checkBenchmark _pkg bm =
       PackageBuildImpossible $
            "The 'main-is' field must specify a '.hs' or '.lhs' file "
         ++ "(even if it is generated by a preprocessor)."
+
+    -- check that all autogen-modules appear on other-modules
+  , checkSpecVersion pkg [1,25]
+      (not $ and $ map (flip elem (benchmarkModules bm)) (benchmarkModulesAutogen bm)) $
+      PackageBuildWarning $
+             "On benchmark '" ++ benchmarkName bm ++ "' an 'autogen-module' is "
+          ++ "not on 'other-modules'"
   ]
   where
     moduleDuplicates = dups $ benchmarkModules bm
@@ -1110,6 +1139,29 @@ checkCabalVersion pkg =
         ++ "that specifies the dependencies of the Setup.hs script itself. "
         ++ "The 'setup-depends' field uses the same syntax as 'build-depends', "
         ++ "so a simple example would be 'setup-depends: base, Cabal'."
+
+  , check (specVersion pkg >= Version [1,25] []
+           && elem (autogenModuleName pkg) (allModuleNames pkg)
+           && not (elem (autogenModuleName pkg) (allModuleNamesAutogen pkg)) ) $
+      PackageBuildWarning $
+           "Packages using 'cabal-version: >= 1.25' and the autogenerated "
+        ++ "module Paths_* must include it also on the 'autoge-modules' field "
+        ++ "besides 'exposed-modules' and 'other-modules'. This specifies that "
+        ++ "the module does not come with the package and is generated on "
+        ++ "setup. Modules built with a custom Setup.hs script also go here "
+        ++ "to ensure that commands like sdist don't fail."
+
+  , check (specVersion pkg < Version [1,25] []
+           && elem (autogenModuleName pkg) (allModuleNames pkg)
+           && not (elem (autogenModuleName pkg) (allModuleNamesAutogen pkg)) ) $
+      PackageDistSuspiciousWarn $
+           "From version 1.25 autogenerated modules are included on the "
+        ++ "'autoge-modules' field besides 'exposed-modules' and "
+        ++ "'other-modules'. Consider using cabal-version >= 1.25 and putting "
+        ++ "the module Paths_* on this new field. Modules built with a custom "
+        ++ "Setup.hs script also go here to ensure that commands like sdist "
+        ++ "don't fail."
+
   ]
   where
     -- Perform a check on packages that use a version of the spec less than

Cabal/Distribution/PackageDescription/Parse.hs

@@ -443,6 +443,9 @@ binfoFieldDescrs =
  , listFieldWithSep vcat "other-modules"
            disp               parseModuleNameQ
            otherModules       (\val binfo -> binfo{otherModules=val})
+ , listFieldWithSep vcat "autogen-modules"
+           disp               parseModuleNameQ
+           autogenModules       (\val binfo -> binfo{autogenModules=val})
  , optsField   "ghc-prof-options" GHC
            profOptions        (\val binfo -> binfo{profOptions=val})
  , optsField   "ghcjs-prof-options" GHCJS

Cabal/Distribution/ParseUtils.hs

@@ -288,6 +288,7 @@ ppField name fielddoc
          , "includes"
          , "install-includes"
          , "other-modules"
+         , "autogen-modules"
          , "depends"
          ]
 

Cabal/Distribution/Simple/SrcDist.hs

@@ -136,7 +136,7 @@ listPackageSources verbosity pkg_descr0 pps = do
   maybeExecutable <- listPackageSourcesMaybeExecutable pkg_descr
   return (ordinary, maybeExecutable)
   where
-    pkg_descr = filterAutogenModule pkg_descr0
+    pkg_descr = filterAutogenModules pkg_descr0
 
 -- | List those source files that may be executable (e.g. the configure script).
 listPackageSourcesMaybeExecutable :: PackageDescription -> IO [FilePath]
@@ -259,7 +259,7 @@ prepareTree verbosity pkg_descr0 mb_lbi targetDir pps = do
   maybeCreateDefaultSetupScript targetDir
 
   where
-    pkg_descr = filterAutogenModule pkg_descr0
+    pkg_descr = filterAutogenModules pkg_descr0
 
 -- | Find the setup script file, if it exists.
 findSetupFile :: FilePath -> IO (Maybe FilePath)
@@ -305,21 +305,24 @@ findIncludeFile (d:ds) f = do
   b <- doesFileExist path
   if b then return (f,path) else findIncludeFile ds f
 
--- | Remove the auto-generated module ('Paths_*') from 'exposed-modules' and
--- 'other-modules'.
-filterAutogenModule :: PackageDescription -> PackageDescription
-filterAutogenModule pkg_descr0 = mapLib filterAutogenModuleLib $
+-- | Remove the auto-generated modules (like 'Paths_*') from 'exposed-modules' 
+-- and 'other-modules'.
+filterAutogenModules :: PackageDescription -> PackageDescription
+filterAutogenModules pkg_descr0 = mapLib filterAutogenModuleLib $
                                  mapAllBuildInfo filterAutogenModuleBI pkg_descr0
   where
     mapLib f pkg = pkg { library      = fmap f (library pkg)
                        , subLibraries = map f (subLibraries pkg) }
     filterAutogenModuleLib lib = lib {
-      exposedModules = filter (/=autogenModule) (exposedModules lib)
+      exposedModules = filter (filterFunction (libBuildInfo lib)) (exposedModules lib)
     }
     filterAutogenModuleBI bi = bi {
-      otherModules   = filter (/=autogenModule) (otherModules bi)
+      otherModules   = filter (filterFunction bi) (otherModules bi)
     }
-    autogenModule = autogenModuleName pkg_descr0
+    pathsModule = autogenModuleName pkg_descr0
+    filterFunction bi = \mn ->
+                                   mn /= pathsModule
+                                && not (elem mn (autogenModules bi))
 
 -- | Prepare a directory tree of source files for a snapshot version.
 -- It is expected that the appropriate snapshot version has already been set

Cabal/Distribution/Types/Benchmark.hs

@@ -6,6 +6,7 @@ module Distribution.Types.Benchmark (
     emptyBenchmark,
     benchmarkType,
     benchmarkModules,
+    benchmarkModulesAutogen
 ) where
 
 import Prelude ()
@@ -60,3 +61,8 @@ benchmarkType benchmark = case benchmarkInterface benchmark of
 -- | Get all the module names from a benchmark.
 benchmarkModules :: Benchmark -> [ModuleName]
 benchmarkModules benchmark = otherModules (benchmarkBuildInfo benchmark)
+
+-- | Get all the auto generated module names from a benchmark.
+-- This are a subset of 'benchmarkModules'.
+benchmarkModulesAutogen :: Benchmark -> [ModuleName]
+benchmarkModulesAutogen benchmark = autogenModules (benchmarkBuildInfo benchmark)

Cabal/Distribution/Types/BuildInfo.hs

@@ -40,6 +40,7 @@ data BuildInfo = BuildInfo {
         jsSources         :: [FilePath],
         hsSourceDirs      :: [FilePath], -- ^ where to look for the Haskell module hierarchy
         otherModules      :: [ModuleName], -- ^ non-exposed or non-main modules
+        autogenModules    :: [ModuleName], -- ^ not present on sdist, Paths_* or user-generated with a custom Setup.hs
 
         defaultLanguage   :: Maybe Language,-- ^ language used when not explicitly specified
         otherLanguages    :: [Language],    -- ^ other languages used within the package
@@ -80,6 +81,7 @@ instance Monoid BuildInfo where
     jsSources           = [],
     hsSourceDirs        = [],
     otherModules        = [],
+    autogenModules      = [],
     defaultLanguage     = Nothing,
     otherLanguages      = [],
     defaultExtensions   = [],
@@ -114,6 +116,7 @@ instance Semigroup BuildInfo where
     jsSources           = combineNub jsSources,
     hsSourceDirs        = combineNub hsSourceDirs,
     otherModules        = combineNub otherModules,
+    autogenModules      = combineNub autogenModules,
     defaultLanguage     = combineMby defaultLanguage,
     otherLanguages      = combineNub otherLanguages,
     defaultExtensions   = combineNub defaultExtensions,

Cabal/Distribution/Types/Executable.hs

@@ -5,6 +5,7 @@ module Distribution.Types.Executable (
     Executable(..),
     emptyExecutable,
     exeModules,
+    exeModulesAutogen
 ) where
 
 import Prelude ()
@@ -46,3 +47,8 @@ emptyExecutable = mempty
 -- | Get all the module names from an exe
 exeModules :: Executable -> [ModuleName]
 exeModules exe = otherModules (buildInfo exe)
+
+-- | Get all the auto generated module names from an exe
+-- This are a subset of 'exeModules'.
+exeModulesAutogen :: Executable -> [ModuleName]
+exeModulesAutogen exe = autogenModules (buildInfo exe)

Cabal/Distribution/Types/Library.hs

@@ -5,6 +5,7 @@ module Distribution.Types.Library (
     Library(..),
     emptyLibrary,
     libModules,
+    libModulesAutogen
 ) where
 
 import Prelude ()
@@ -58,3 +59,8 @@ libModules :: Library -> [ModuleName]
 libModules lib = exposedModules lib
               ++ otherModules (libBuildInfo lib)
               ++ requiredSignatures lib
+
+-- | Get all the auto generated module names from the library, exposed or not.
+-- This are a subset of 'libModules'.
+libModulesAutogen :: Library -> [ModuleName]
+libModulesAutogen lib = autogenModules (libBuildInfo lib)

Cabal/Distribution/Types/PackageDescription.hs

@@ -40,6 +40,8 @@ module Distribution.Types.PackageDescription (
     hasBenchmarks,
     withBenchmark,
     allBuildInfo,
+    allModuleNames,
+    allModuleNamesAutogen,
     updatePackageDescription,
     pkgComponents,
     pkgBuildableComponents,
@@ -65,6 +67,7 @@ import Distribution.Types.HookedBuildInfo
 
 import Distribution.Package
 import Distribution.Version
+import Distribution.ModuleName
 import Distribution.License
 import Distribution.Compiler
 
@@ -296,6 +299,18 @@ allBuildInfo pkg_descr = [ bi | lib <- allLibraries pkg_descr
   --FIXME: many of the places where this is used, we actually want to look at
   --       unbuildable bits too, probably need separate functions
 
+-- | As they appear on the cabal file, Paths_* module has no special treatment.
+-- It is not exluded if it already appears here.
+allModuleNames :: PackageDescription -> [ModuleName]
+allModuleNames pkg_descr = (case library pkg_descr of
+                                   Nothing -> []
+                                   (Just lib) -> libModules lib)
+                                 ++ concatMap otherModules (allBuildInfo pkg_descr)
+
+-- | As they appear on the cabal file, Paths_* module has no special treatment.
+-- It is not added if it doesn't already appears here.
+allModuleNamesAutogen  :: PackageDescription -> [ModuleName]
+allModuleNamesAutogen pkg_descr = concatMap autogenModules (allBuildInfo pkg_descr)
 
 -- ------------------------------------------------------------
 -- * Utils

Cabal/Distribution/Types/TestSuite.hs

@@ -6,6 +6,7 @@ module Distribution.Types.TestSuite (
     emptyTestSuite,
     testType,
     testModules,
+    testModulesAutogen
 ) where
 
 import Prelude ()
@@ -65,3 +66,11 @@ testModules test = (case testInterface test of
                      TestSuiteLibV09 _ m -> [m]
                      _                   -> [])
                 ++ otherModules (testBuildInfo test)
+
+-- | Get all the auto generated module names from a test suite.
+-- This are a subset of 'testModules'.
+testModulesAutogen :: TestSuite -> [ModuleName]
+testModulesAutogen test = (case testInterface test of
+                     TestSuiteLibV09 _ m -> [m]
+                     _                   -> [])
+                ++ autogenModules (testBuildInfo test)

cabal-install/Distribution/Client/Init.hs

@@ -889,6 +889,12 @@ generateCabalFile fileName c =
                  Executable -> "Modules included in this executable, other than Main.")
               True
 
+     , fieldS "autogen-modules" (listField (otherModules c'))
+              (Just $ case pkgtype of
+                 Library    -> "Auto generated modules in this library."
+                 Executable -> "Auto generated modules in this executable.")
+              True
+
      , fieldS "other-extensions" (listField (otherExts c'))
               (Just "LANGUAGE extensions used by modules in this package.")
               True