Mikael More wrote:
Hi!
How does one make compile-file use c++ instead of gcc, and how does one make the compilation with c++ succeed (i.e. generate working binaries)?
I believe you must use the --enable-cplusplus in the ./configure. I think that his will set up gambit to produce c++ compatible code.
Hope it helps!
David