build: improve `ghcid` support
authorJulien Moutinho <julm@sourcephile.fr>
Fri, 2 Dec 2022 01:28:52 +0000 (02:28 +0100)
committerJulien Moutinho <julm@sourcephile.fr>
Wed, 25 Jan 2023 00:32:21 +0000 (01:32 +0100)
Makefile

index 9d32ce80678336b5285080ecc8585c34585c4d15..368f75306d614bb93a75398b2b4339039c781c3b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,12 @@
-override GHCID_OPTIONS += --no-height-limit --reverse-errors 
-override REPL_OPTIONS += -ignore-dot-ghci
-
 cabal := $(wildcard *.cabal)
 package := $(notdir ./$(cabal:.cabal=))
 version := $(shell sed -ne 's/^version: *\(.*\)/\1/p' $(cabal))
 project := $(patsubst %.cabal,%,$(cabal))
 cabal_builddir ?= dist-newstyle
 
+override REPL_OPTIONS += -ignore-dot-ghci
+override GHCID_OPTIONS += --no-height-limit --reverse-errors --color=always --warnings --restart $(cabal)
+
 all: build
 build:
        cabal build $(CABAL_BUILD_FLAGS)