From 53930e299df527c8960788340150cb143b46761a Mon Sep 17 00:00:00 2001 From: Brandon Chinn Date: Sat, 21 Dec 2024 15:36:06 -0800 Subject: [PATCH] Add test command to DEVELOPER.md --- DEVELOPER.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/DEVELOPER.md b/DEVELOPER.md index f45352e..c28a16d 100644 --- a/DEVELOPER.md +++ b/DEVELOPER.md @@ -1,3 +1,13 @@ +# Development + +```shell +cabal build --ghc-options -Werror + +# Note: must use the default GHC executable; integration tests +# will not work with --with-compiler set differently +cabal exec -- cabal test --test-option '*' +``` + # Release Follow these steps to release this project: