Skip to content

Commit

Permalink
docs: cabal.project.local.ci
Browse files Browse the repository at this point in the history
  • Loading branch information
sorki committed Dec 2, 2023
1 parent 70eb0d3 commit 9d24512
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions docs/02-Hacking.org
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,16 @@ can configure on your system.
To update the CI, edit [[../.github/workflows/ci.dhall][.github/workflows/ci.dhall]] and run [[../.github/workflows/ci.sh][.github/workflows/ci.sh]]
to regenerate the ~yaml~ file. Don't forget to commit both files.

** ~cabal.project.local.ci~

The [[../cabal.project.local.ci][cabal.project.local.ci]] file is used by the CI workflow to alter @ghc-options@,
enabling e.g. @-Werror@ and @-Wunused-packages@. You can copy this to ~cabal.project.local~
to have the same build configuration:

#+begin_src shell
cp cabal.project.local.ci cabal.project.local
#+end_src

* Changelogs

Since the packages are used by others as dependencies in production environments,
Expand Down

0 comments on commit 9d24512

Please sign in to comment.