diff options
| author | cyfraeviolae <cyfraeviolae> | 2022-02-22 21:53:46 -0500 |
|---|---|---|
| committer | cyfraeviolae <cyfraeviolae> | 2022-02-22 21:53:46 -0500 |
| commit | 28eaf16f8ee1bcda3404c1e9461b13e6cc9c3ca7 (patch) | |
| tree | 849a1dd76cd32b2dd32a4e33704cda05f4c2881f /package.yaml | |
| parent | 22129a2fcb660a29e1ed6935713282bc78c8d62f (diff) | |
build
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 6 |
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 |