From 9d245122406196f91b1ef328a2d24ec6a8213647 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..b3416944 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,