diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-15 22:16:56 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-05-15 22:16:56 +0200 |
| commit | 96ca64f769e84ff8714889ee8d75fa2ade2e014d (patch) | |
| tree | 48da686b83c579fa7156d86ff2d4c3137e033612 | |
| parent | dcbcaeee940671a8288ec564cc7bc277eac7a5ad (diff) | |
| download | trivmix-96ca64f769e84ff8714889ee8d75fa2ade2e014d.tar trivmix-96ca64f769e84ff8714889ee8d75fa2ade2e014d.tar.gz trivmix-96ca64f769e84ff8714889ee8d75fa2ade2e014d.tar.bz2 trivmix-96ca64f769e84ff8714889ee8d75fa2ade2e014d.tar.xz trivmix-96ca64f769e84ff8714889ee8d75fa2ade2e014d.zip | |
Optimise aggressively
| -rw-r--r-- | package.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/package.yaml b/package.yaml index 7f85434..44621d5 100644 --- a/package.yaml +++ b/package.yaml | |||
| @@ -7,9 +7,8 @@ category: Sound | |||
| 7 | build-type: Simple | 7 | build-type: Simple |
| 8 | git: https://git.yggdrasil.li/gkleen/pub/trivmix | 8 | git: https://git.yggdrasil.li/gkleen/pub/trivmix |
| 9 | 9 | ||
| 10 | ghc-options: -threaded | ||
| 11 | |||
| 12 | library: | 10 | library: |
| 11 | ghc-options: -O2 | ||
| 13 | source-dirs: src | 12 | source-dirs: src |
| 14 | exposed-modules: Trivmix.Types | 13 | exposed-modules: Trivmix.Types |
| 15 | dependencies: | 14 | dependencies: |
| @@ -22,6 +21,7 @@ library: | |||
| 22 | 21 | ||
| 23 | executables: | 22 | executables: |
| 24 | trivmix: | 23 | trivmix: |
| 24 | ghc-options: -threaded -O2 | ||
| 25 | main: Trivmix.hs | 25 | main: Trivmix.hs |
| 26 | source-dirs: trivmix | 26 | source-dirs: trivmix |
| 27 | dependencies: | 27 | dependencies: |
| @@ -42,6 +42,7 @@ executables: | |||
| 42 | - scientific >=0.3.5.3 && <1 | 42 | - scientific >=0.3.5.3 && <1 |
| 43 | - trivmix | 43 | - trivmix |
| 44 | adjmix: | 44 | adjmix: |
| 45 | ghc-options: -threaded -O2 | ||
| 45 | main: Adjmix.hs | 46 | main: Adjmix.hs |
| 46 | source-dirs: adjmix | 47 | source-dirs: adjmix |
| 47 | dependencies: | 48 | dependencies: |
