diff options
author | quidtum <quidtum> | 2022-02-22 21:10:45 -0500 |
---|---|---|
committer | quidtum <quidtum> | 2022-02-22 21:10:45 -0500 |
commit | 1935eff0b1738ae1293cc8a1a8b4e27a88ffb982 (patch) | |
tree | 5bcf538fc6644a61d065de7f2c7b9b65ddfe6d61 /package.yaml | |
parent | 927a6bf17ed44bf2975c8f1bf507487e60ffa52e (diff) |
build
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 |