From ba8950229f07c60b2f63e5697863842778e6fd74 Mon Sep 17 00:00:00 2001
From: Artur Cygan <artur.cygan@trailofbits.com>
Date: Fri, 20 Jan 2023 13:25:35 +0100
Subject: [PATCH] Disable static linking by default (#908)

---
 .github/workflows/ci.yml | 6 +++---
 package.yaml             | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 816452253..805eb0675 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,7 +22,7 @@ jobs:
             apt-get: autoconf automake libtool
           - os: macos-latest
             brew: automake
-         
+
     steps:
       - name: Get Packages
         uses: mstksg/get-package@v1
@@ -64,7 +64,7 @@ jobs:
 
       - name: Build and install echidna
         run: |
-          stack install --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib
+          stack install --flag echidna:static --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib
 
       - name: Amend and compress binaries (macOS)
         if: runner.os == 'macOS'
@@ -83,7 +83,7 @@ jobs:
       - name: Build and copy test suite
         if: runner.os == 'Linux'
         run: |
-          stack build --test --no-run-tests --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib
+          stack build --flag echidna:static --test --no-run-tests --ghc-options="-Werror" --extra-include-dirs=$HOME/.local/include --extra-lib-dirs=$HOME/.local/lib
           cp "$(find "$PWD" -name echidna-testsuite -type f)" .
 
       - name: Upload testsuite
diff --git a/package.yaml b/package.yaml
index 47e2d1afd..f19ad5292 100644
--- a/package.yaml
+++ b/package.yaml
@@ -105,4 +105,4 @@ flags:
   static:
     description: Pass -static to ghc when linking the stack binary.
     manual: true
-    default: true
+    default: false