cabal-install-3.12.1.0
cabal-install 3.12.1.0 changelog and release notes.
Significant changes
Cabal 3.12 support #9917
This is the first release of
cabal-install
that is fully compatible withCabal
3.12.0.0 as released with GHC 9.10.1. In particular, it means custom setup builds will work with GHC 9.10.cabal-install
has been built againsttar
0.6.3.0 #10123The new release of
tar
has significant performance improvements, makingcabal update
in particular much faster.For anyone building from the source, we suggest making sure that the version of
tar
in your plan is at least 0.6.3.0. (For example, we bumped theindex-state
in ourcabal.project.release
in theCabal
repository.)Add support for asm, cmm, and js sources in executable components #8639 #9061
Executable components now support the inclusion of asm, cmm, and js source files in a cabal file using the same syntax as is used for these sources in library components, similar to how c and c++ sources are supported in both types of components. This syntax was already parsed in cabal files, but was silently ignored in the build step, so no changes to syntax are made.
Add
--project-dir
flag #7695 #7940 #8454- Added
--project-dir
flag for specifying the project's root directory - Deprecated using
--project-file
with an absolute filepath without also using--project-dir
.
- Added
Support per-component builds when coverage is enabled #4798 #5213 #6397 #6440 #9464
Cabal now supports per-component builds when coverage is enabled.This enables coverage for packages with internal libraries (#6440), and enables coverage for packages that use backpack (#6397), even though we do not get coverage for instantiations of an indefinite module (it is not clear what it means for HPC to support backpack, regardless of Cabal).
To achieve this, hpc information (
.mix
files) from a library is now written into the package database of a library underextraCompilationArtifacts
.Cabal configure (via the Setup interface) now accepts --coverage-for=
, a flag which specifies which libraries should be included in the coverage report for some testsuite. Add
cabal path
command #8879 #9673The
cabal path
command prints the file system paths used by Cabal. It is intended for use by tooling that needs to read or modify Cabal data, such that it does not need to replicate the complicated logic for respectingCABAL_DIR
,CABAL_CONFIG
, etc.It will obey a
cabal.project
if present.Additionally, we add support for multiple output formats, such as key-value pairs and json.
The key-value pair output prints a line for each queried key and its respective value:
key1: value2 key2: value2
If only a single key is queried, we print only the value, for example:
value1
The json output format is versioned by the cabal-install version, which is part of the json object. Thus, all result objects contain at least the key "cabal-install-version".
It also produces information of the compiler that is going to be used in a
cabal build
orcabal repl
invocation. To do that, we re-configure the compiler program, and outputs the location, version and compiler flavour. This is helpful for downstream tools, such as HLS, to figure out the GHC version required to compile a project with, without dependency solving.Add support for authentication tokens for uploading to Hackage #6738 #9058
A new flag
--token
(-t
) has been created. Token authentication takes precedence over username and password meaning that, if a token is set, the username and password flags are ignored.Make --(test-)show-details=direct the default #8942
This option leaves it up to the testing framework to decide what and how to print out, potentially leading to a prettier output. For example, most of the testing frameworks use colors, which wouldn't be seen with any other option.
This comes with a tradeoff, though: Cabal will not create a log file with this option. If you prefer a log file, consider setting
--test-show-details=streaming
(or something else) manually.Die if package list is missing #8944
If a package list is missing,
cabal
will now die and suggest the user to runcabal update
instead of continuing into not being able to find packages coming from the remote package server.Reject index-state younger than cached index file #8944
Requesting to use an index-state younger than the cached version will now fail, telling the user to use an index-state older or equal to the cached file, or to run
cabal update
.The warning for a non-existing index-state has been also demoted to appear only on verbose logging.
Warn early that overwrite policy is needed #5993 #9268
Waiting for a long build and then seeing the install fail because a flag was missing is frustrating.With this change we skip the wait and warn early, before the build, that an overwrite policy flag would be needed for the install to succeed.
Make sure Haskell files in explicit source directories take precedence over autogenerated Haskell files #8689 #8690
- Changed order or directories in GHC invocation so that source directories explicitly specified in cabal file will be considered before Cabal’s internal build directory.
config file: allow more flags in the init section #8835 #8839
The init section of config file now allows the following fields:
Fix handling of ETag header for remote packages #9113 #9116
Remote packages will now be cached regardless of the capitalization of the "ETag" header. Previously remote packages would not be cached if the header name did not match exactly. Now they will be cached even if the header's capitalization is different.
Clarify the semantics of the
--package-db
flag #9678 #9683The
--package-db
flag now only applies to the default immutable initial package stack rather than also applying to the store package database.This fixes an assertion failure which was triggered when using
--package-db
and also clarifies how it should interact with--store-dir
and--dist-dir
flags.Add
--semaphore
flag to enable interaction with GHC Job Server protocol #8557When cabal-install is passed the
--semaphore
flag it will now act as a job server according to the GHC Jobserver Protocol.In particular this means that cabal-install will create a semaphore which it then passes to
./Setup build
(and henceghc
) which can be used byghc
in order to control how much paralellism it uses, coordinating with other simultaneously running processes.This feature requires ghc-9.8 in order to use, as this is the first version of GHC which implements the protocol.
Add
--ignore
tocabal check
#8587 #9442cabal check
now ignores specific warnings with--ignore
. E.g.--ignore=missing-upper-bounds
will not display “Missing upper bounds” warnings.cabal check
output now prints the warning identifier too (like[no-category]
).
Adds functionality for the --offline flag with the "build" command. #8676
The --offline flag previously created in #2578 but was only implemented for the install command even thought the flag didn't throw an error whenever the build command was run. This PR adds functionality for the --offline flag with the build command. Additionally there is a new PackageTest for the flag using the build command.
Add warning for running cabal run, cabal test and cabal bench with +RTS flag #8709
This adds a warning when RTS options are passed to cabal instead of the binary for the commands 'run', 'bench' and 'test', as most users want to pass these options to their binary.
Add support for loading multiple components into one repl session #8238 #8491 #8726
The
repl
command is extended in order to allow starting a repl session with multiple local components. When a user specifies a target to the "repl" command which resolves to multiple local components thencabal
will start a repl session which loads them all into a single GHC session if the multi-repl is enabled.The multi-repl can be enabled by passing
--enable-multi-repl
, or writingmulti-repl: True
in your cabal.project file.The feature is fully explained in this blog post.
Warn when project configuration options are going to be ignored. #8949
Some project configuration options can only be specified from the command line. If the user specified those options from a project file, cabal-install would silently ignore them. Now cabal-install will emit a warning.
Fix precedence for PATH for
build-tools-depends
#8972Fixes a bug introduced in #8506 that caused executables in the path to take precedence over those specified in
build-tools-depends
.Guard
PackageInfo_*
modules behindcabal-version
≥ 3.12 #9331 #9481cabal check
now warns wheneverPackageInfo_*
autogen modules are used withcabal-version
≥ 3.12. Additionally,cabal configure
will fail if you try to usePackageInfo_*
withcabal-version
< 3.12.cabal init now generates cabal versions older than 1.12 with the correct >= syntax #8206 #8860
Do not ask overwrite permissions on blank project #9150 #9155
Shorten solver rejection messages by removing repetition #4251 #9559 #9560
As before, we show a single rejection as hyphenated package-version.
For multiple rejections, we show a list of versions preceded by package semicolon, a much shorter rendering of the same information.
- [__0] rejecting: pandoc-3.1.8, pandoc-3.1.7, pandoc-3.1.6.2, pandoc-3.1.6.1, - pandoc-3.1.6, pandoc-3.1.5, pandoc-3.1.4, pandoc-3.1.3, pandoc-3.1.2, - pandoc-3.1.1, pandoc-3.1, pandoc-3.0.1, pandoc-3.0, pandoc-2.19.2, - pandoc-2.19.1, pandoc-2.19, pandoc-2.18, pandoc-2.17.1.1, pandoc-2.17.1, + [__0] rejecting: pandoc; 3.1.8, 3.1.7, 3.1.6.2, 3.1.6.1, 3.1.6, 3.1.5, 3.1.4, + 3.1.3, 3.1.2, 3.1.1, 3.1, 3.0.1, 3.0, 2.19.2, 2.19.1, 2.19, 2.18, 2.17.1.1,
Show provenance of project constraints #9562 #9578
Show imports when the solver rejects a package version due to a project constraint. Even though imports are relative to their parent when imported, their paths are shown relative to the directory of the project in the solver output.
$ cabal build all --dry-run ... [__1] next goal: hashable [__1] rejecting: hashable-1.4.3.0 (constraint from cabal.project requires ==1.4.2.0) [__1] rejecting: hashable-1.4.2.0 (constraint from project-stackage/nightly-2023-12-07.config requires ==1.4.3.0) imported by: cabal.project
Fixes some test failures detecting cycles in imports, when;
- the wrong import was reported as starting the cycle
- a cycle was reported that wasn't actually a cycle
Adjust BSD-2-Clause and BSD-3-Clause licence text #9812 #9813
This change matters to BSD-2-Clause and BSD-3-Clause licences. For these two licences,
cabal init
created a licence file that slightly differed from wording published at SPDX. This has been rectified.Include the GHC "Project Unit Id" in the cabal store path #8114 #9326
This allows the use of several API incompatible builds of the same version of GHC without corrupting the cabal store.
This relies on the "Project Unit Id" which is available since GHC 9.8.1, older versions of GHC do not benefit from this change.
Add support for
GHC2024
#9736 #9791Support for the
GHC2024
language edition, introduced by GHC 9.10, has been added. It can now be used in thedefault-language
andother-languages
fields, and will be offered as an option bycabal init
.Add language extension
ExtendedLiterals
#8992Adds support for the
ExtendedLiterals
language extension (GHC proposal #451)Add language extension
ListTuplePuns
#8854Adds support for the
ListTuplePuns
language extension (GHC proposal #475)Label error messages with codes (following GHC, Stack)
As with GHC and Stack, Cabal and cabal-install now generate warnings and errors prefixed with error codes of the form
[Cabal-xxxxx]
. These will be documented on https://errors.haskell.org, although very few are as yet.The
--offline
flag applied tosource-repository-package
s #9641 #9771The
--offline
flag is already used to block access to Hackage. Now with this PR, this also applies to remote dependencysource-repository-package
incabal.project
.Fix
--program-suffix
resulting in invalid installation #8823 #9919 #10056Formerly, using
--program-suffix
resulted in bad symlinks into the store. This has been corrected.Warn on missing
default-language
#9620 #9766- To help the adoption of GHC language editions,
cabal check
will now warn about missingdefault-language
.
- To help the adoption of GHC language editions,
Other changes
Script cache dir is the base16 hash of the canonical path of the script. #9459
This fixes sporadic path failures on both Windows and Linux (e.g. #9334).
Add
--haddock-output-dir
flag tocabal haddock
. #8720 #8788This flag gives the user full control over the directory where the documentation is placed. It allows both relative and absolute paths.
Remove useles "Log" log level #9151 #9346
- Remove "Log" as a log level in favour of "Info".
- Remove "Show" in Severity and replace by "displaySeverity" function
cabal init
should not suggest Cabal < 2.0 #8680'cabal init' no longer suggests users to set cabal-version to less than 2.0.
PkgConfig individual calls #9134
cabal
invokespkg-config
individually for each lib if querying for all doesn't return the expected result.Reimplementing
cabal check
#7423 #8427- For
cabal-install
users:cabal check
do not warn on -O2 or similar options if under an off-by-default cabal flag.
- For
cabal check
: clearly mark Errors #8908cabal check
will now mark errors (which make the program return 1 and Hackage refuse the package) by prepending them with an "Error: " string in the output.Don't report
index.html
file as created, if not created by Haddock #5120 #9332Make check comply with Hackage requirements #8897
cabal check
will only return exitcode 1 when the package is not fit for Hackage. E.g. it will not error anymore when yoursynopsis:
is larger thandescription:
, just emit a warning.- Cabal: Distribution.Client.Check now exports
isHackageDistError
, for third-party tools to know if a specific error will preclude a package from being uploaded to Hacakge.
Also render short options with arguments #8785 #9043
Show how arguments are used with both short and long forms of options:
<-v, --verbose[=n]Control verbosity (n is 0--3, default >-v[n], --verbose[=n] Control verbosity (n is 0--3, default <-w, --with-compiler=PATH give the path to a particular compiler >-w PATH or -wPATH, --with-compiler=PATH
Remove
--cabal-file
flags from v2 commands #6880 #7225 #8395 #9123The
--cabal-file
flag was never meant for public use but only for testing. To avoid confusing the users any further we removed the flag from v2 commands.Avoid a double space in "Executing install plan ..." #9376
The "Executing·install·plan··serially" and other similar "Executing install plan··..." outputs no longer contain double spaces.
Allow whitespace in targets #8875 #10032
Allow spaces in the final component of target selectors. This resolves an issue where using absolute paths in selectors can fail if there is whitespace in the parent directories of the project.
Renders project configuration provenance as a list of canonical paths #9971 #9985
Removes interleaved rendering of project imports.
Abbreviate solver rejection messages with installed versions #9823 #9824
solver: Prevent
ghc-internal
from being reinstalled #10108GHC 9.10 ships with a new wired-in package,
ghc-internal
, which cannot be reinstalled. This commit prevents cabal-install from attempting it.