diff options
| -rw-r--r-- | package.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/package.yaml b/package.yaml index 207d374..5e56fa2 100644 --- a/package.yaml +++ b/package.yaml | |||
| @@ -34,6 +34,8 @@ executables: | |||
| 34 | - -threaded | 34 | - -threaded |
| 35 | - -rtsopts | 35 | - -rtsopts |
| 36 | - -with-rtsopts=-N | 36 | - -with-rtsopts=-N |
| 37 | - -Wall | ||
| 38 | - -O2 | ||
| 37 | dependencies: | 39 | dependencies: |
| 38 | - scad | 40 | - scad |
| 39 | 41 | ||