Chain configuration of ldProgram
[cabal.git] / CONTRIBUTING.md
blobeb2700d377a7a0f98c8b7a6d31e44b8053a505c4
1 # Contributing to Cabal
3 Building Cabal for hacking
4 --------------------------
6 If you use the latest version of cabal published on Hackage, it is sufficient to run:
8 ```
9 cabal build cabal
10 ```
12 If not, you aren't able to build the testsuite, so you need to disable the default `cabal.project` that implies configuring the testsuite, e.g., with:
14 ```
15 cabal build --project-file=cabal.project.release cabal
16 ```
18 > **Note**
19 > If you're using Nix, you might find it convenient to work within a shell that has all the `Cabal` development dependencies:
20 > ```
21 > $ nix-shell -p cabal-install ghc ghcid haskellPackages.fourmolu_0_12_0_0 pkgconfig zlib.dev
22 > ```
23 > A Nix flake developer shell with these dependencies is also available, supported solely by the community, through the command `nix develop github:yvan-sraka/cabal.nix`.
25 The location of your build products will vary depending on which version of
26 cabal-install you use to build; see the documentation section
27 [Where are my build products?](http://cabal.readthedocs.io/en/latest/nix-local-build.html#where-are-my-build-products)
28 to find the binary (or just run `find -type f -executable -name cabal`).
30 Here are some other useful variations on the commands:
32 ```
33 cabal build Cabal # build library only
34 cabal build Cabal-tests:unit-tests # build Cabal's unit test suite
35 cabal build cabal-tests # etc...
36 ```
38 Running tests
39 -------------
41 **Using Github Actions.**
42 If you are not in a hurry, the most convenient way to run tests on Cabal
43 is to make a branch on GitHub and then open a pull request; our
44 continuous integration service on Github Actions builds and
45 tests your code.  Title your PR with WIP so we know that it does not need
46 code review.
48 Some tips for using Github Actions effectively:
50 * Github Actions builds take a long time.  Use them when you are pretty
51   sure everything is OK; otherwise, try to run relevant tests locally
52   first.
54 * Watch over your jobs on the [Github Actions website](http://github.org/haskell/cabal/actions).
55   If you know a build of yours is going to fail (because one job has
56   already failed), be nice to others and cancel the rest of the jobs,
57   so that other commits on the build queue can be processed.
59 **How to debug a failing CI test.**
60 One of the annoying things about running tests on CI is when they
61 fail, there is often no easy way to further troubleshoot the broken
62 build.  Here are some guidelines for debugging continuous integration
63 failures:
65 1. Can you tell what the problem is by looking at the logs?  The
66    `cabal-testsuite` tests run with `-v` logging by default, which
67    is dumped to the log upon failure; you may be able to figure out
68    what the problem is directly this way.
70 2. Can you reproduce the problem by running the test locally?
71    See the next section for how to run the various test suites
72    on your local machine.
74 3. Is the test failing only for a specific version of GHC, or
75    a specific operating system?  If so, try reproducing the
76    problem on the specific configuration.
78 4. Is the test failing on a Github Actions per-GHC build.
79    In this case, if you click on "Branch", you can get access to
80    the precise binaries that were built by Github Actions that are being
81    tested.  If you have an Ubuntu system, you can download
82    the binaries and run them directly.
84 If none of these let you reproduce, there might be some race condition
85 or continuous integration breakage; please file a bug.
87 **Running tests locally.**
88 To run tests locally with `cabal`, you will need to know the
89 name of the test suite you want.  Cabal and cabal-install have
90 several.  Also, you'll want to read [Where are my build products?](http://cabal.readthedocs.io/en/latest/nix-local-build.html#where-are-my-build-products)
92 The most important test suite is `cabal-testsuite`: most user-visible
93 changes to Cabal should come with a test in this framework.  See
94 [cabal-testsuite/README.md](cabal-testsuite/README.md) for more
95 information about how to run tests and write new ones.  Quick
96 start: use `cabal-tests` to run `Cabal` tests, and `cabal-tests
97 --with-cabal=/path/to/cabal` to run `cabal-install` tests
98 (don't forget `--with-cabal`! Your cabal-install tests won't
99 run without it).
101 There are also other test suites:
103 * `Cabal-tests:unit-tests` are small, quick-running unit tests
104   on small pieces of functionality in Cabal.  If you are working
105   on some utility functions in the Cabal library you should run this
106   test suite.
108 * `cabal-install:unit-tests` are small, quick-running unit tests on
109   small pieces of functionality in cabal-install.  If you are working
110   on some utility functions in cabal-install you should run this test
111   suite.
113 * `cabal-install:long-tests` are QuickCheck tests on
114   cabal-install's dependency solver, VCS, and file monitoring code.
115   If you are working on the solver you should run this test suite.
117 * `cabal-install:integration-tests2` are integration tests on some
118   top-level API functions inside the `cabal-install` source code.
120 For these test executables, `-p` which applies a regex filter to the test
121 names. When running `cabal-install` test suites, one need only use `cabal test` or
122 `cabal run <test-target>` in order to test locally.
124 QA Notes
125 --------
127 Manual Quality Assurance (QA) is performed to ensure that the changes impacting
128 the command-line interface, whether adding or modifying a behaviour,
129 are tested before being released. This allows us to catch UX regressions and put
130 a human perspective into testing.
132 Contributions that touch `cabal-install` are expected to include notes for the QA team.
133 They are a description of an expected result upon calling `cabal-install` with certain parameters,
134 and should be written in the body of the ticket or PR under their own heading, like this:
136 For instance:
138 > \#\# QA Notes
140 > Calling `cabal haddock-project` should produce documentation for the whole cabal project with the following defaults enabled:
141 > * Documentation lives in ./haddocks
142 > * The file `./haddocks/index.html` should exist
144 Manual QA is not expected to find every possible bug, but to really challenge the assumptions of the contributor, and to verify that their own testing
145 of their patch is not influenced by their setup or implicit knowledge of the system.
148 Code Style
149 ---------------
151 We use automated formatting with Fourmolu to enforce a unified style across the code bases. It is checked in the CI process.
152 After installing Fourmolu 0.12, you can automatically format the code bases with `make style` at the top level of the project.
153 You can also use `make style-modified` to only format modified files.
155 Other Conventions
156 -----------------
158 * Format your commit messages [in the standard way](https://chris.beams.io/posts/git-commit/#seven-rules).
160 * A lot of Cabal does not have top-level comments.  We are trying to
161   fix this.  If you add new top-level definitions, please Haddock them;
162   and if you spend some time understanding what a function does, help
163   us out and add a comment.  We'll try to remind you during code review.
165 * If you do something tricky or non-obvious, add a comment.
167 * For local imports (Cabal module importing Cabal module), import lists
168   are NOT required (although you may use them at your discretion.)  For
169   third-party and standard library imports, please use either qualified imports
170   or explicit import lists.
172 * You can use basically any GHC extension supported by a GHC in our
173   support window, except Template Haskell, which would cause
174   bootstrapping problems in the GHC compilation process.
176 * Our GHC support window is five years for the Cabal library and three
177   years for cabal-install: that is, the Cabal library must be
178   buildable out-of-the-box with the dependencies that shipped with GHC
179   for at least five years.  The Travis CI checks this, so most
180   developers submit a PR to see if their code works on all these
181   versions of GHC.  `cabal-install` must also be buildable on all
182   supported GHCs, although it does not have to be buildable
183   out-of-the-box. Instead, the `cabal-install/bootstrap.sh` script
184   must be able to download and install all of the dependencies (this
185   is also checked by CI). Also, self-upgrade to the latest version
186   (i.e. `cabal install cabal-install`) must work with all versions of
187   `cabal-install` released during the last three years.
189 * `Cabal` has its own Prelude, in `Distribution.Compat.Prelude`,
190   that provides a compatibility layer and exports some commonly
191   used additional functions. Use it in all new modules.
193 * As far as possible, please do not use CPP. If you must use it,
194   try to put it in a `Compat` module, and minimize the amount of code
195   that is enclosed by CPP.  For example, prefer:
196   ```
197   f :: Int -> Int
198   #ifdef mingw32_HOST_OS
199   f = (+1)
200   #else
201   f = (+2)
202   #endif
203   ```
205   over:
206   ```
207   #ifdef mingw32_HOST_OS
208   f :: Int -> Int
209   f = (+1)
210   #else
211   f :: Int -> Int
212   f = (+2)
213   #endif
214   ```
216 GitHub Ticket Conventions
217 -------------------
219 Each major `Cabal`/`cabal-install` release (e.g. 3.4, 3.6, etc.) has a
220 corresponding GitHub Project and milestone. A ticket is included in a release's
221 project if the release managers are tenatively planning on including a fix for
222 the ticket in the release, i.e. if they are actively seeking someone to work on
223 the ticket.
225 By contrast, a ticket is milestoned to a given release if we are open to
226 accepting a fix in that release, i.e. we would very much appreciate someone
227 working on it, but are not committing to actively sourcing someone to work on
230 GitHub Pull Request Conventions
231 -------------------
233 Every (non-backport) pull request has to go through a review and get 2
234 approvals. After this is done, the author of the pull request is expected to add
235 any final touches they deem important and put the `merge me` label on the pull
236 request. If the author lacks permissions to apply labels, they are welcome to
237 explicitly signal the merge intent on the discussion thread of the pull request,
238 at which point others (e.g., reviewers) apply the label. Merge buttons are
239 reserved for exceptional situations, e.g., CI fixes being iterated on or
240 backports/patches that need to be expedited for a release.
242 Currently there is a 2 day buffer for potential extra feedback between the last
243 update of a pull request (e.g. a commit, a rebase, an addition of the `merge me`
244 label) and the moment the Mergify bot picks up the pull request for a merge.
246 If your pull request consists of several commits, consider using `squash+merge
247 me` instead of `merge me`: the Mergify bot will squash all the commits into one
248 and concatenate the commit messages of the commits before merging.
250 Changelog
251 ---------
253 When opening a pull request with a user-visible change, you should write one changelog entry
254 (or more in case of multiple independent changes) — the information will end up in
255 our release notes.
257 Changelogs for the next release are stored in the `changelog.d` directory.
258 The files follow a simple key-value format similar to the one for `.cabal` files.
259 Free-form text fields (`synopsis` and `description`) allow Markdown markup — please,
260 use markup to make our release notes more readable.
262 Here's an example:
264 ```cabal
265 synopsis: Add feature xyz
266 packages: cabal-install
267 prs: #0000
268 issues: #0000 #0000
269 significance: significant
271 description: {
273 - Detail number 1
274 - Detail number 2
279 Only the `synopsis` field is actually required, but you should also set the others where applicable.
281 | Field          | Description                                                                                                        |
282 | -----          | -----------                                                                                                        |
283 | `synopsis`     | Brief description of the change. Often just the pr title.                                                          |
284 | `description`  | Longer description, with a list of sub-changes. Not needed for small/atomic changes.                               |
285 | `packages`     | Packages affected by the change (`cabal-install`, `Cabal`...). Omit if it's an overarching or non-package change.  |
286 | `prs`          | Space-separated hash-prefixed pull request numbers containing the change (usually just one).                       |
287 | `issues`       | Space-separated hash-prefixed issue numbers that the change fixes/closes/affects.                                  |
288 | `significance` | Set to `significant` if the change is significant, that is if it warrants being put near the top of the changelog. |
290 You can find a large number of real-world examples of changelog files
291 [here](https://github.com/haskell/cabal/tree/bc83de27569fda22dbe1e10be1a921bebf4d3430/changelog.d).
293 At release time, the entries will be merged with
294 [this tool](https://github.com/fgaz/changelog-d).
296 In addition, if you're changing the `.cabal` file format specification you should
297 add an entry in `doc/file-format-changelog.rst`.
299 Communicating
300 -------------
302 There are a few main venues of communication:
304 * Most developers subscribe to receive messages from [all issues](https://github.com/haskell/cabal/issues); issues can be used to [open discussion](https://github.com/haskell/cabal/issues?q=is%3Aissue+is%3Aopen+custom+label%3A%22type%3A+discussion%22).  If you know someone who should hear about a message, CC them explicitly using the @username GitHub syntax.
306 * For more organizational concerns, the [mailing
307   list](http://www.haskell.org/mailman/listinfo/cabal-devel) is used.
309 * Many developers idle on `#hackage` on [`irc.libera.chat`](https://libera.chat). The `#ghc` channel is also a decently good bet.
310   * You can join the channel using a web client, even anonymously: https://web.libera.chat/#hackage
311   * Alternatively you can join it using [matrix](https://matrix.org/): https://matrix.to/#/#hackage:libera.chat
313 Releases
314 --------
316 Notes for how to make a release are at the
317 wiki page ["Making a release"](https://github.com/haskell/cabal/wiki/Making-a-release).
318 Currently, [@emilypi](https://github.com/emilypi), [@fgaz](https://github.com/fgaz) and [@Mikolaj](https://github.com/Mikolaj) have access to
319 `haskell.org/cabal`, and [@Mikolaj](https://github.com/Mikolaj) is the point of contact for getting
320 permissions.
322 API Documentation
323 -----------------
325 Auto-generated API documentation for the `master` branch of Cabal is automatically uploaded here: http://haskell.github.io/cabal-website/doc/html/Cabal/.
327 ## Issue triage [![Open Source Helpers](https://www.codetriage.com/haskell/cabal/badges/users.svg)](https://www.codetriage.com/haskell/cabal)
329 You can contribute by triaging issues which may include reproducing bug reports or asking for vital information, such as version numbers or reproduction instructions. If you would like to start triaging issues, one easy way to get started is to [subscribe to cabal on CodeTriage](https://www.codetriage.com/haskell/cabal).