From ed68539601ffef9afb5d7375e0fd9f7cc92f52e0 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Fri, 20 Jan 2023 17:48:59 +0100
Subject: [PATCH] attempt to fix build

---
 package.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/package.yaml b/package.yaml
index 94eacf487..046ed5946 100644
--- a/package.yaml
+++ b/package.yaml
@@ -254,7 +254,7 @@ ghc-options:
   - -fno-warn-unrecognised-pragmas
   - -fno-warn-partial-type-signatures
   - -fno-max-relevant-binds
-  - -j
+  - -j2
   - -freduction-depth=0
 when:
   - condition: flag(pedantic)
@@ -271,7 +271,7 @@ when:
       cpp-options: -DDEVELOPMENT
     else:
       ghc-options:
-        - -O
+        - -O0
         - -fllvm
         - +RTS -K0 -RTS
 data-files: