diff options
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/package.yaml b/package.yaml index ff152a1..fcb31e7 100644 --- a/package.yaml +++ b/package.yaml @@ -47,6 +47,12 @@ executables: - -threaded - -rtsopts - -with-rtsopts=-N + - -static + - -Wall + - -O2 + cc-options: -static + ld-options: -static -pthread + extra-lib-dirs: ./lib/ dependencies: - base - spectralrenga @@ -57,6 +63,12 @@ executables: - -threaded - -rtsopts - -with-rtsopts=-N + - -static + - -Wall + - -O2 + cc-options: -static + ld-options: -static -pthread + extra-lib-dirs: ./lib/ dependencies: - base - spectralrenga |