From 1b656e2ae6dae4ce5032d04c2d9f3ce90da11c80 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Sun, 6 Dec 2020 17:12:31 +0100
Subject: [PATCH] chore: rename wflint to avoid collision with source

---
 package.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 832774c43..e6d7aa1e4 100644
--- a/package.yaml
+++ b/package.yaml
@@ -301,7 +301,7 @@ executables:
     when:
       - condition: flag(library-only)
         buildable: false
-  wflint:
+  uniworx-wflint:
     main: WFLint.hs
     ghc-options:
       - -main-is WFLint
@@ -309,6 +309,8 @@ executables:
     when:
       - condition: flag(library-only)
         buildable: false
+      - condition: '!flag(dev)'
+        buildable: false
 
 # Test suite
 tests: