diff options
| author | Justin Bedo <cu@cua0.org> | 2023-08-02 17:18:44 +1000 |
|---|---|---|
| committer | Justin Bedo <cu@cua0.org> | 2023-08-02 17:18:44 +1000 |
| commit | 2a78ced9c247f5a059d8456617391e3e5c846c23 (patch) | |
| tree | 286e6e16971c2d26a0c2cfa684c311930cd94721 /package.yaml | |
| parent | 172f54474f3e92ad4df5c193a8605d4333da33e1 (diff) | |
first full implementation
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/package.yaml b/package.yaml index b0752ee..a923f2d 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,9 @@ name: dedumi dependencies: - base - zlib - - microlens-platform + - cuckoo + - microlens-th + - microlens - bytestring - streamly-bytestring - streamly @@ -13,3 +15,4 @@ dependencies: executables: dedumi: main: dedumi.hs + ghc-options: [-O2, -fspec-constr-recursive=10, -fmax-worker-args=16] |