| 1 | From 3d73d59617281c6ae9c19032eae381ff77fd2e65 Mon Sep 17 00:00:00 2001
|
| 2 | Message-Id: <3d73d59617281c6ae9c19032eae381ff77fd2e65.1682841188.git.dev@jpoiret.xyz>
|
| 3 | From: Josselin Poiret <[email protected]>
|
| 4 | Date: Sun, 30 Apr 2023 09:51:12 +0200
|
| 5 | Subject: [PATCH] Remove stdlib-incompatible flags
|
| 6 |
|
| 7 | From: Josselin Poiret <[email protected]>
|
| 8 |
|
| 9 | ---
|
| 10 | Makefile | 2 +-
|
| 11 | 1 file changed, 1 insertion(+), 1 deletion(-)
|
| 12 |
|
| 13 | diff --git a/Makefile b/Makefile
|
| 14 | index 68846579..ba5923a2 100644
|
| 15 | |
| 16 | |
| 17 | @@ -1,6 +1,6 @@
|
| 18 | .PHONY: test Everything.agda clean
|
| 19 |
|
| 20 | -OTHEROPTS = --auto-inline -Werror
|
| 21 | +OTHEROPTS =
|
| 22 |
|
| 23 | RTSARGS = +RTS -M6G -A128M -RTS ${OTHEROPTS}
|
| 24 |
|
| 25 |
|
| 26 | base-commit: 20397e93a60ed1439ed57ee76ae377c66a5eb8d9
|
| 27 | prerequisite-patch-id: da10df58fa86d08b31174a01db7b9a02377aba55
|
| 28 | prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18
|
| 29 | --
|
| 30 | 2.39.2
|
| 31 |
|