diff options
| author | Josh Rahm <rahm@google.com> | 2024-03-05 18:20:43 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-03-05 18:20:43 -0700 |
| commit | c50a8375cd37d054e68648c9116670d39a94fd34 (patch) | |
| tree | ac59c94bc4cf4de1b89d79e4ed030b04ff35d9da /package.yaml | |
| parent | 9a696c2b071dfecb691d16c66bfd00edd54c4beb (diff) | |
| download | montis-c50a8375cd37d054e68648c9116670d39a94fd34.tar.gz montis-c50a8375cd37d054e68648c9116670d39a94fd34.tar.bz2 montis-c50a8375cd37d054e68648c9116670d39a94fd34.zip | |
More flexing with the new keysM system.
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/package.yaml b/package.yaml index 3a7c5b2..213a904 100644 --- a/package.yaml +++ b/package.yaml @@ -35,6 +35,7 @@ dependencies: - containers - data-default - transformers +- monad-loops ghc-options: @@ -69,8 +70,10 @@ executables: - -dynamic - -no-hs-main - -lHSrts-1.0.2-ghc9.4.7 + - -O3 cc-options: - -g3 + - -O2 - -shared - -Iharness/build/ - -Iharness/include/ |