From 8d7a26a11d89a6392bfd7880139eb793b4582f28 Mon Sep 17 00:00:00 2001 From: sorki Date: Sat, 2 Dec 2023 10:09:11 +0100 Subject: [PATCH] docs: cabal.project.local.ci --- docs/02-Hacking.org | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/docs/02-Hacking.org b/docs/02-Hacking.org index 6b29d5fe..4bc9648f 100644 --- a/docs/02-Hacking.org +++ b/docs/02-Hacking.org @@ -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,