From 77fd8333c6de80d9b25a82e7c4b1d67d51eceff4 Mon Sep 17 00:00:00 2001 From: fr33domlover Date: Tue, 19 Apr 2016 09:41:27 +0000 Subject: [PATCH] Build with dev flag by default during development --- stack.yaml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/stack.yaml b/stack.yaml index b6aeee5..4f6a40d 100644 --- a/stack.yaml +++ b/stack.yaml @@ -22,7 +22,9 @@ extra-deps: - unordered-containers-0.2.6.0 # Override default flag values for local packages and extra-deps -flags: {} +flags: + vervis: + dev: true # Extra package databases containing global packages extra-package-dbs: []