Fix broken build (really)

.travis.yml

@@ -12,13 +12,13 @@ before_install:
 - export PATH=$HOME/.local/bin:$PATH
 - travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
 install:
-- stack --no-terminal --install-ghc test --only-dependencies
+- stack --no-terminal --install-ghc test --only-dependencies --flag checkmate:static
 script:
 - |
   [[ "$TRAVIS_TAG" = "" || \
      "$(stack query locals checkmate version)" == "'$TRAVIS_TAG'" ]]
 - '[[ "$TRAVIS_TAG" = "" ]] || ! grep -i "to be released" CHANGELOG.md'
-- stack --no-terminal test --haddock --no-haddock-deps
+- stack --no-terminal test --haddock --no-haddock-deps --flag checkmate:static
 - |
   if [[ "$TRAVIS_PULL_REQUEST" != "false" ]]; then
     git diff "$TRAVIS_COMMIT_RANGE" | stack exec -- checkmate github \

CHANGELOG.md

@@ -1,6 +1,14 @@
 Checkmate changelog
 ===================
 
+Version 0.1.3
+-------------
+
+Released on September 20, 2017.
+
+ -  Fixed a broken build of `checkmate` binary on the download page.
+
+
 Version 0.1.2
 -------------
 

package.yaml

@@ -1,5 +1,5 @@
 name: checkmate
-version: '0.1.2'
+version: '0.1.3'
 synopsis: Generate checklists relevant to a given patch
 category: Development
 author: Hong Minhee
@@ -49,18 +49,18 @@ executables:
         - -threaded
         - -rtsopts
         - -with-rtsopts=-N
-      else:
-        ghc-options:
-        - -fwarn-incomplete-uni-patterns
-        - -threaded
-        - -rtsopts
-        - -with-rtsopts=-N
         # Static link
         - -static
         - -optl-static
         - -optl-pthread
         - -optc-Os
         - -fPIC
+      else:
+        ghc-options:
+        - -fwarn-incomplete-uni-patterns
+        - -threaded
+        - -rtsopts
+        - -with-rtsopts=-N
 tests:
   spec:
     main: Spec.hs