From 3d73d59617281c6ae9c19032eae381ff77fd2e65 Mon Sep 17 00:00:00 2001
Message-Id: <3d73d59617281c6ae9c19032eae381ff77fd2e65.1682841188.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
Date: Sun, 30 Apr 2023 09:51:12 +0200
Subject: [PATCH] Remove stdlib-incompatible flags

From: Josselin Poiret <dev@jpoiret.xyz>

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 68846579..ba5923a2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: test Everything.agda clean
 
-OTHEROPTS = --auto-inline -Werror
+OTHEROPTS =
 
 RTSARGS = +RTS -M6G -A128M -RTS ${OTHEROPTS}
 

base-commit: 20397e93a60ed1439ed57ee76ae377c66a5eb8d9
prerequisite-patch-id: da10df58fa86d08b31174a01db7b9a02377aba55
prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18
-- 
2.39.2

 type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=9c3c68dae4605a443158910a70320a7625c02efe'>refs</a><a class='active' href='/guix/log/po/doc/guix-cookbook.zh_Hans.po'>log</a><a href='/guix/tree/po/doc/guix-cookbook.zh_Hans.po?id=9c3c68dae4605a443158910a70320a7625c02efe'>tree</a><a href='/guix/commit/po/doc/guix-cookbook.zh_Hans.po?id=9c3c68dae4605a443158910a70320a7625c02efe'>commit</a><a href='/guix/diff/po/doc/guix-cookbook.zh_Hans.po?id=9c3c68dae4605a443158910a70320a7625c02efe'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/po/doc/guix-cookbook.zh_Hans.po'>
<input type='hidden' name='id' value='9c3c68dae4605a443158910a70320a7625c02efe'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=9c3c68dae4605a443158910a70320a7625c02efe'>root</a>/<a href='/guix/log/po?id=9c3c68dae4605a443158910a70320a7625c02efe'>po</a>/<a href='/guix/log/po/doc?id=9c3c68dae4605a443158910a70320a7625c02efe'>doc</a>/<a href='/guix/log/po/doc/guix-cookbook.zh_Hans.po?id=9c3c68dae4605a443158910a70320a7625c02efe'>guix-cookbook.zh_Hans.po</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/po/doc/guix-cookbook.zh_Hans.po?id=9c3c68dae4605a443158910a70320a7625c02efe&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-10-17 22:10:25 +0200'>2021-10-17</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.zh_Hans.po?id=15c91189cb61c579f4289047c79530cefe75215f'>nls: Update translations.</a></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-09-02 04:06:52 +0200'>2021-09-02</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.zh_Hans.po?id=1ff2092a39dc5c7c7cd9b4a0ba4b59f92e738efc'>nls: Update translations.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/packages/it.po: New file.
* po/packages/LINGUAS: Add `it'.
* po/*/*.po: Update translations.
</span></span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-08-04 14:49:53 +0200'>2021-08-04</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.zh_Hans.po?id=6c10c96fedf707d7be059aeb79bd5c8e2d2fa210'>nls: Update translations.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/doc/guix-cookbook.ru.po: New file.
* po/doc/guix-cookbook.sk.po: New file.
* po/*/*.po: Update translations.
* doc/local.mk (COOKBOOK_LANGUAGES): Add ru and sk.
(info_TEXINFOS): Add Russian and Slovak cookbooks.
* po/doc/local.mk (DOC_COOKBOOK_PO_FILES): Add Russian and Slovak po
files.
</span></span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-04-18 13:18:29 +0200'>2021-04-18</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.zh_Hans.po?id=8830930e2b11e2b351b58261cc66fb389257215d'>nls: Add Chinese (Traditional) translation.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/doc/guix-cookbook.zh_Hans.po: New file.
* doc/local.mk (info_TEXINFOS): Add it.
* po/doc/local.mk (DOC_COOKBOOK_PO_FILES): Add it.
</span></span></td><td>Julien Lepiller</td></tr>