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: |