See https://groups.google.com/forum/#!topic/minisat/FCocZsC8oMQ
This seems to only be a problem with newer versions of g++, and
upstream development seems to have stopped in 2013.

diff -rupN minisat-2.2.0/core/SolverTypes.h minisat-2.2.0.patched/core/SolverTypes.h
--- a/minisat/core/SolverTypes.h	2010-07-10 17:07:36.000000000 +0100
+++ b/minisat/core/SolverTypes.h	2014-03-29 11:57:49.000000000 +0000
@@ -47,7 +47,7 @@ struct Lit {
     int     x;

     // Use this as a constructor:
-    friend Lit mkLit(Var var, bool sign = false);
+    //friend Lit mkLit(Var var, bool sign = false);

     bool operator == (Lit p) const { return x == p.x; }
     bool operator != (Lit p) const { return x != p.x; }
@@ -55,7 +55,7 @@ struct Lit {
 };


-inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
+inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x = var + var + (int)sign; return p; }
 inline  Lit  operator ~(Lit p)              { Lit q; q.x = p.x ^ 1; return q; }
 inline  Lit  operator ^(Lit p, bool b)      { Lit q; q.x = p.x ^ (unsigned int)b; return q; }
 inline  bool sign      (Lit p)              { return p.x & 1; }
/gnu/services/sddm.scm'>log</a><a href='/guix/tree/gnu/services/sddm.scm?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>tree</a><a href='/guix/commit/gnu/services/sddm.scm?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>commit</a><a href='/guix/diff/gnu/services/sddm.scm?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/services/sddm.scm'>
<input type='hidden' name='id' value='08b34ca0fc915ea440b069ec8cd18c142a5a5523'/><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=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>root</a>/<a href='/guix/log/gnu?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>gnu</a>/<a href='/guix/log/gnu/services?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>services</a>/<a href='/guix/log/gnu/services/sddm.scm?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523'>sddm.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/sddm.scm?id=08b34ca0fc915ea440b069ec8cd18c142a5a5523&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-03-19 18:52:16 +0800'>2024-03-19</span></td><td><a href='/guix/commit/gnu/services/sddm.scm?id=3ea55fada0593cd05c686cef2f6a59ba65933ef5'>services: sddm: Add extension for localed-service-type.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/sddm.scm (sddm-service-type): Add extension for
localed-service-type.
* gnu/services/xorg.scm (xorg-configuration-keyboard-layout): Export it.

Change-Id: I26e6475b733d69f1baf00786e302a3ec6d3c4a74
Signed-off-by: 宋文武 &lt;iyzsong@member.fsf.org&gt;
</span></span></td><td>Zheng Junjie</td></tr>
<tr><td><span title='2023-08-02 22:27:43 +0800'>2023-08-02</span></td><td><a href='/guix/commit/gnu/services/sddm.scm?id=7e056197d7bf8f888fe52db9d5ee34ec253ffff9'>services: sddm: Set some environment variables for the breeze theme.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/sddm.scm (sddm-service-type): Pass #:environment-variables to
make-forkexec-constructor.

Signed-off-by: 宋文武 &lt;iyzsong@member.fsf.org&gt;
</span></span></td><td>Zheng Junjie</td></tr>
<tr><td><span title='2023-05-11 13:21:45 +0200'>2023-05-11</span></td><td><a href='/guix/commit/gnu/services/sddm.scm?id=2df5d4fd18a2fbcb8066a50e2da8ec64635f5162'>system: pam: Let PAM extensions add shepherd requirements.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/pam.scm (&lt;pam-extension&gt;): New record type.
(pam-shepherd-service): Add Shepherd synchronization point.

* gnu/services/mail.scm (dovecot-shepherd-service)
* gnu/services/lightdm.scm (lightdm-shepherd-service)
* gnu/services/mail.scm (opensmtpd-shepherd-service)
* gnu/services/sddm.scm (sddm-shepherd-service)
* gnu/services/ssh.scm (lsh-shepherd-service, openssh-shepherd-service)
* gnu/services/xorg.scm (slim-shepherd-service, gdm-shepherd-service)
* gnu/services/base.scm (greetd-shepherd-services): Add PAM requirement.

* gnu/system/pam.scm (/etc-entry, extend-configuration,
pam-root-service-type, pam-root-service)
* gnu/services/authentication.scm (pam-ldap-pam-service)
* gnu/services/base.scm (pam-limits-service-type)
(greetd-pam-service)
* gnu/services/desktop.scm (pam-gnome-keyring)
* gnu/services/kerberos.scm (pam-krb5-pam-service)
* gnu/services/pam-mount.scm (pam-mount-pam-service): Adapt to use
pam-extension.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;
</span></span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-04-07 17:56:55 +0200'>2023-04-07</span></td><td><a href='/guix/commit/gnu/services/sddm.scm?id=aeb5df82dddfa84d91afd4373189d968e6377574'>services: sddm: Remove 'sddm-service' procedure.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/sddm.scm (sddm-service): Remove procedure.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;
</span></span></td><td>Bruno Victal</td></tr>