Commit e0515186 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Check that all internal libraries have a name.

parent 11ea2294
...@@ -178,6 +178,10 @@ checkSanity pkg = ...@@ -178,6 +178,10 @@ checkSanity pkg =
PackageBuildImpossible PackageBuildImpossible
"No executables, libraries, tests, or benchmarks found. Nothing to do." "No executables, libraries, tests, or benchmarks found. Nothing to do."
, check (any isNothing (map libName $ subLibraries pkg)) $
PackageBuildImpossible $ "Found one or more unnamed internal libraries. "
++ "Only the non-internal library can have the same name as the package."
, check (not (null duplicateNames)) $ , check (not (null duplicateNames)) $
PackageBuildImpossible $ "Duplicate sections: " ++ commaSep duplicateNames PackageBuildImpossible $ "Duplicate sections: " ++ commaSep duplicateNames
++ ". The name of every library, executable, test suite, and benchmark section in" ++ ". The name of every library, executable, test suite, and benchmark section in"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment