cannot build minisat on Mac OS X 10.10 and g++

[jessealama]

On Mac OS X 10.10 with GCC (that is, not Apple's own compiler, but GNU C++), I'm not able to build equinox:

$ CXX=/sw/lib/gcc4.9/bin/g++-4 make
make Solver.or -C minisat/current-base
make[1]: Entering directory '/Users/alama/sources/equinox/minisat/current-base'
make[1]: 'Solver.or' is up to date.
make[1]: Leaving directory '/Users/alama/sources/equinox/minisat/current-base'
make Prop.or   -C minisat/current-base
make[1]: Entering directory '/Users/alama/sources/equinox/minisat/current-base'
Compiling: Prop.or ( Prop.C )
In file included from Prop.h:23:0,
                 from Prop.C:20:
../mtl/Map.h: In constructor ‘Map<K, D, H, E>::Map(const H&, const E&)’:
../mtl/Map.h:87:41: warning: delegating constructors only available with -std=c++11 or -std=gnu++11
      Map (const H& h, const E& e) : Map(), hash(h), equals(e) {}
                                         ^
../mtl/Map.h:87:50: error: mem-initializer for ‘Map<K, D, H, E>::hash’ follows constructor delegation
      Map (const H& h, const E& e) : Map(), hash(h), equals(e) {}
                                                  ^
../mtl/Map.h:87:61: error: mem-initializer for ‘Map<K, D, H, E>::equals’ follows constructor delegation
      Map (const H& h, const E& e) : Map(), hash(h), equals(e) {}
                                                             ^
Prop.C: In member function ‘Lit PropSolver::mkAnd(Lit, Lit)’:
Prop.C:93:45: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings]
             logBinOp(logfile, v, f, g, " & ");
                                             ^
Prop.C: In member function ‘Lit PropSolver::mkEqu(Lit, Lit)’:
Prop.C:140:46: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings]
             logBinOp(logfile, v, f, g, " == ");
                                              ^
../mtl/template.mk:61: recipe for target 'Prop.or' failed
make[1]: *** [Prop.or] Error 1
make[1]: Leaving directory '/Users/alama/sources/equinox/minisat/current-base'
Makefile:18: recipe for target 'mk-minisat' failed
make: *** [mk-minisat] Error 2

Here, /sw/lib/gcc4.9/bin/g++-4 is GNU G++ coming from the Fink project; it isn't the Apple-supplied C++ compiler.