From 3dc3c0856906d25bb697a4480a8457a69637cd51 Mon Sep 17 00:00:00 2001
Message-Id: <3dc3c0856906d25bb697a4480a8457a69637cd51.1682798848.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
Date: Sat, 29 Apr 2023 22:06:55 +0200
Subject: [PATCH] Makefile: use runhaskell instead of cabal

From: Josselin Poiret <dev@jpoiret.xyz>

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

diff --git a/GNUmakefile b/GNUmakefile
index c5d886e03..f3cb2a1e7 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -21,7 +21,7 @@ Everything.agda:
 # command `cabal install` is needed by cabal-install <= 2.4.*. I did
 # not found any problem running both commands with different versions
 # of cabal-install. See Issue #1001.
-	cabal run GenerateEverything
+	runhaskell GenerateEverything
 
 .PHONY: listings
 listings: Everything.agda
-- 
2.39.2

='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=9592148434172fe36445eb6c45e8c8a161e5f03e'>refs</a><a class='active' href='/guix/log/gnu/services/cups.scm'>log</a><a href='/guix/tree/gnu/services/cups.scm?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>tree</a><a href='/guix/commit/gnu/services/cups.scm?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>commit</a><a href='/guix/diff/gnu/services/cups.scm?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/services/cups.scm'>
<input type='hidden' name='id' value='9592148434172fe36445eb6c45e8c8a161e5f03e'/><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=9592148434172fe36445eb6c45e8c8a161e5f03e'>root</a>/<a href='/guix/log/gnu?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>gnu</a>/<a href='/guix/log/gnu/services?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>services</a>/<a href='/guix/log/gnu/services/cups.scm?id=9592148434172fe36445eb6c45e8c8a161e5f03e'>cups.scm</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/gnu/services/cups.scm?id=9592148434172fe36445eb6c45e8c8a161e5f03e&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2023-05-23 20:26:19 -0400'>2023-05-23</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=e02584b456a3f9c00b303ef4815d892a47edc2e6'>services: cups: Add cups PAM service.</a><span class='msg-avail'>...</span></td><td>muradm</td></tr>
<tr><td><span title='2023-05-03 08:20:31 -0400'>2023-05-03</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=6bc3e3f9baa52beb318dde77d1773ae83aa8683e'>services: cups: Use cups-minimal to avoid PAM authentication.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2022-05-29 02:00:12 +0200'>2022-05-29</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=245703df681401910a59482b6303be5a0bc3f7e5'>gnu: cups-minimal, cups: Update to 2.4.2.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-12-05 19:17:41 +0100'>2021-12-05</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=9bc0f45df5d6aed217020b1183dca54989844fb0'>Merge remote-tracking branch 'origin/master' into core-updates-frozen</a></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2021-11-30 01:08:55 +0100'>2021-11-30</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=892f1b7273d57b25940700877a02618fe826cc08'>services: Accept &lt;inferior-package&gt;s in lieu of &lt;package&gt;s.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-11-17 23:43:14 +0100'>2021-11-17</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=3a317f7476f8c6012e166ff9f340f861938721c9'>Merge branch 'master' into core-updates-frozen</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-11-16 01:15:04 +0100'>2021-11-16</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=122396075f12b013b6bde56dafb895587b95bc9d'>services: cups: Update default timeouts.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-06-23 18:45:21 +0200'>2021-06-23</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=9dea3f101f252331c049c03f501398a5ec837ba9'>Merge branch 'master' into core-updates</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-06-23 03:26:33 +0200'>2021-06-23</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=828ceee7db0ab74786049600108d6b15017851c5'>services: cups: Remove obsolete KeepAliveTimeout directive.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-06-23 03:01:48 +0200'>2021-06-23</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=e254287b0c22fc89566bd08207dc72f4f8c9972d'>services: cups: Fix ‘files-config’ typo/left-over.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-06-23 02:51:30 +0200'>2021-06-23</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=c655bbb376d2dd73805cef344c496f6f77b22d0f'>services: cups: Support CUPS 2.3.3op2's LogFileGroup directive.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-03-10 18:01:47 +0100'>2021-03-10</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=520bac7ed00a949a0391ad680de65a1498105c2b'>services: Prevent following symlinks during activation.</a><span class='msg-avail'>...</span></td><td>Maxime Devos</td></tr>
<tr><td><span title='2021-01-17 20:16:05 +0100'>2021-01-17</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=476b333fbcda397557382a0988646b8bd177874d'>services: cups: reuse lp from %base-groups.</a><span class='msg-avail'>...</span></td><td>Leo Prikler</td></tr>
<tr><td><span title='2021-01-10 23:38:49 +0100'>2021-01-10</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=2a4fdb41941ffcc5611a8d6df3ea04a29561aa80'>services: cups: Add brlaser extension by default.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-11-21 23:00:06 +0100'>2020-11-21</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=13180f6accf815253107420d264e0c82ad064608'>services: cups: Add Splix by default.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-11-21 22:59:47 +0100'>2020-11-21</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=0b57c1b09efb74f0b30fd74c7c1eb2da1f5957bc'>gnu: Rename escpr to epson-inkjet-printer-escpr.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-11-18 10:00:11 +0100'>2020-11-18</span></td><td><a href='/guix/commit/gnu/services/cups.scm?id=8490fa0253fa8ee5613a89851273e007494ea79b'>services: cups: Add some extensions by default.</a><span class='msg-avail'>...</span></td><td>Danny Milosavljevic</td></tr>