1 files changed, 6 insertions, 0 deletions
diff --git a/package.yaml b/package.yaml
index f954c47..02282a1 100644
--- a/package.yaml
+++ b/package.yaml
@@ -34,6 +34,12 @@ executables:
     - -threaded
     - -rtsopts
     - -with-rtsopts=-N
+    - -static
+    - -Wall
+    - -O2
+    cc-options: -static
+    ld-options: -static -pthread
+    extra-lib-dirs: ./lib/
     dependencies:
     - sumcheck
     - servant-server