chore: rename wflint to avoid collision with source

2020-12-06 17:12:31 +01:00 · 2020-12-06 17:12:31 +01:00 · 1b656e2ae6
commit 1b656e2ae6
parent f485bce4d1
1 changed files with 3 additions and 1 deletions
--- 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: