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; }
ive' href='/guix/log/gnu/installer/newt/ethernet.scm'>log</a><a href='/guix/tree/gnu/installer/newt/ethernet.scm?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>tree</a><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>commit</a><a href='/guix/diff/gnu/installer/newt/ethernet.scm?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/installer/newt/ethernet.scm'>
<input type='hidden' name='id' value='a54dda095f5568545f1de0c53c01e4d39ae42f9b'/><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=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>root</a>/<a href='/guix/log/gnu?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>gnu</a>/<a href='/guix/log/gnu/installer?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>installer</a>/<a href='/guix/log/gnu/installer/newt?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>newt</a>/<a href='/guix/log/gnu/installer/newt/ethernet.scm?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b'>ethernet.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/installer/newt/ethernet.scm?id=a54dda095f5568545f1de0c53c01e4d39ae42f9b&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-05-06 23:21:33 +0200'>2019-05-06</span></td><td><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=46c102ca5e76ffc1daa42edba439eee9fd0f102c'>installer: Skip network selection dialogs when there is no choice.</a><span class='msg-avail'>...<span class='msg-tooltip'>Previously, for a machine that only has wired networking, and only one
such network, we'd have to go through two selection boxes.  Now we just
skip both.

* gnu/installer/newt/ethernet.scm (run-ethernet-page): When
'ethernet-services' returns one element, return it directly without
opening a listbox selection.
* gnu/installer/newt/network.scm (run-technology-page): Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-05-06 23:21:33 +0200'>2019-05-06</span></td><td><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=d1e5f758e128a3c1042c98563c5b87b81b2f187a'>installer: Shrink simple listboxes to their minimum height.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/installer/newt/partition.scm (run-partioning-page): Pass
 #:listbox-height.
(run-scheme-page): Likewise.
(run-device-page): Likewise.
* gnu/installer/newt/network.scm (run-technology-page): Likewise.
* gnu/installer/newt/ethernet.scm (run-ethernet-page): Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-01-17 14:04:25 +0100'>2019-01-17</span></td><td><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=7d812901daf0259d5d381199168d6d2994ce00ac'>installer: Turn "Cancel" buttons into "Exit" buttons.</a><span class='msg-avail'>...<span class='msg-tooltip'>This change and previous ones were,
Suggested-by: Thorsten Wilms &lt;t_w_@freenet.de&gt;
here: https://lists.gnu.org/archive/html/guix-devel/2018-11/msg00330.html

gnu/installer/newt/ethernet.scm: Turn cancel into exit.
gnu/installer/newt/final.scm: Ditto.
gnu/installer/newt/keymap.scm: Ditto.
gnu/installer/newt/locale.scm: Ditto.
gnu/installer/newt/network.scm: Ditto.
gnu/installer/newt/page.scm: Ditto.
gnu/installer/newt/partition.scm: Ditto.
gnu/installer/newt/services.scm: Ditto.
gnu/installer/newt/timezone.scm: Ditto.
gnu/installer/newt/user.scm: Ditto.
gnu/installer/newt/wifi.scm: Ditto.
</span></span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-01-17 14:04:23 +0100'>2019-01-17</span></td><td><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=fb1675cbca68a7ada710640294a26cf0f1b22168'>installer: Fix ethernet connection.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/installer/newt/ethernet.scm (connect-ethernet-service): Return the
service passed as parameter.
</span></span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-01-17 14:04:20 +0100'>2019-01-17</span></td><td><a href='/guix/commit/gnu/installer/newt/ethernet.scm?id=d0f3a672dcbdfefd3556b6a21985ff0e35eed3be'>gnu: Add graphical installer support.</a><span class='msg-avail'>...<span class='msg-tooltip'>* configure.ac: Require that guile-newt is available.
* gnu/installer.scm: New file.
* gnu/installer/aux-files/logo.txt: New file.
* gnu/installer/build-installer.scm: New file.
* gnu/installer/connman.scm: New file.
* gnu/installer/keymap.scm: New file.
* gnu/installer/locale.scm: New file.
* gnu/installer/newt.scm: New file.
* gnu/installer/newt/ethernet.scm: New file.
* gnu/installer/newt/hostname.scm: New file.
* gnu/installer/newt/keymap.scm: New file.
* gnu/installer/newt/locale.scm: New file.
* gnu/installer/newt/menu.scm: New file.
* gnu/installer/newt/network.scm: New file.
* gnu/installer/newt/page.scm: New file.
* gnu/installer/newt/timezone.scm: New file.
* gnu/installer/newt/user.scm: New file.
* gnu/installer/newt/utils.scm: New file.
* gnu/installer/newt/welcome.scm: New file.
* gnu/installer/newt/wifi.scm: New file.
* gnu/installer/steps.scm: New file.
* gnu/installer/timezone.scm: New file.
* gnu/installer/utils.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add previous files.
* gnu/system.scm: Export %root-account.
* gnu/system/install.scm (%installation-services): Use kmscon instead of linux
VT for all tty.
(installation-os)[users]: Add the graphical installer as shell of the root
account.
[packages]: Add font related packages.
* po/guix/POTFILES.in: Add installer files.
</span></span></td><td>Mathieu Othacehe</td></tr>