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; }
og/gnu/services/admin.scm'>log</a><a href='/guix/tree/gnu/services/admin.scm?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>tree</a><a href='/guix/commit/gnu/services/admin.scm?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>commit</a><a href='/guix/diff/gnu/services/admin.scm?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/services/admin.scm'>
<input type='hidden' name='id' value='bbc26afd6198a55109589ed6477f13f1bcea1898'/><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=bbc26afd6198a55109589ed6477f13f1bcea1898'>root</a>/<a href='/guix/log/gnu?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>gnu</a>/<a href='/guix/log/gnu/services?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>services</a>/<a href='/guix/log/gnu/services/admin.scm?id=bbc26afd6198a55109589ed6477f13f1bcea1898'>admin.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/admin.scm?id=bbc26afd6198a55109589ed6477f13f1bcea1898&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2021-11-30 01:08:55 +0100'>2021-11-30</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=892f1b7273d57b25940700877a02618fe826cc08'>services: Accept &lt;inferior-package&gt;s in lieu of &lt;package&gt;s.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/authentication.scm (fprintd-configuration)
(nslcd-configuration): Substitute file-like objects for package ones.
* gnu/services/cgit.scm (cgit-configuration, opaque-cgit-configuration):
Likewise.
* gnu/services/cups.scm (package-list?, cups-configuration): Likewise.
* gnu/services/dns.scm (verify-knot-configuration)
(ddclient-configuration): Likewise.
* gnu/services/docker.scm (docker-configuration): Likewise.
* gnu/services/file-sharing.scm (transmission-daemon-configuration): Likewise.
* gnu/services/getmail.scm (getmail-configuration): Likewise.
* gnu/services/mail.scm (dovecot-configuration)
(opaque-dovecot-configuration): Likewise.
* gnu/services/messaging.scm (prosody-configuration)
(opaque-prosody-configuration): Likewise.
* gnu/services/monitoring.scm (zabbix-server-configuration)
(zabbix-agent-configuration): Likewise.
* gnu/services/networking.scm (opendht-configuration): Likewise.
* gnu/services/pm.scm (tlp-configuration): Likewise.
* gnu/services/telephony.scm (jami-configuration): Likewise.
* gnu/services/virtualization.scm (libvirt-configuration)
(qemu-guest-agent-configuration): Likewise.
* gnu/services/vpn.scm (openvpn-client-configuration): Likewise.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2021-03-29 23:33:41 +0200'>2021-03-29</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=3104a743f9b26ae0c41bcd2cbdc82588a5311be1'>services: rottlog: Add /var/log/mcron.log to '%default-rotations'.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;https://bugs.gnu.org/47436&gt;.
Reported by Leo Famulari &lt;leo@famulari.name&gt;.

* gnu/services/admin.scm (%rotated-files): Add "/var/log/mcron.log".
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-08-24 23:23:57 +0200'>2020-08-24</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=fe42e5f39c9b36f02beec246b376a50e41114b84'>services: unattended-upgrade: Log output of the 'guix' commands.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;https://bugs.gnu.org/43011&gt;.
Reported by Jesse Gibbons &lt;jgibbons2357@gmail.com&gt;.

Until now the stdout/stderr file descriptors were not redirected.

* gnu/services/admin.scm (unattended-upgrade-mcron-jobs)[code]: Remove
'with-logging' and use 'redirect-port' instead.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-08-24 23:23:57 +0200'>2020-08-24</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=0d203eeaa69a42a914a9981449805014ab6b7b77'>services: unattended-upgrade: Add 'operating-system-file' field.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/admin.scm (&lt;unattended-upgrade-configuration&gt;)[operating-system-file]:
New field.
(unattended-upgrade-mcron-jobs): Honor it.
* doc/guix.texi (Unattended Upgrades): Document it.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-07-27 12:06:36 +0200'>2020-07-27</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=79501f26ab6d82c0256ff786a5dfb0000b52ccd3'>services: Add 'unattended-upgrade-service-type'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/services/admin.scm (&lt;unattended-upgrade-configuration&gt;): New
record type.
(%unattended-upgrade-log-file): New variable.
(unattended-upgrade-mcron-jobs, unattended-upgrade-log-rotations): New
procedures.
(unattended-upgrade-service-type): New variable.
* doc/guix.texi (Service Reference): Add 'provenance-service-type' anchor.
(Unattended Upgrades): New section.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-05-06 11:03:39 +0200'>2020-05-06</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=ab034adfe86333fccd6afe476806f169e2074d69'>services: rottlog: Append '.gz' to rotated file.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;https://issues.guix.info/issue/40945&gt;.

* gnu/services/admin.scm (%default-rotations): Add option 'storefile'.
</span></span></td><td>Brice Waegeneire</td></tr>