--- rpl/rplcas/Makefile.in	2016/09/29 09:52:40	1.48
+++ rpl/rplcas/Makefile.in	2018/06/14 20:59:29	1.49
@@ -17,7 +17,7 @@ lib/@LIB_PREFIX@gmp.a:
 		(cd @GMP@ && \
 				CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
 				../$(srcdir)/@GMP@/configure --with-readline=no \
-				--host=@HOST@ \
+				--host=@HOST@ --enable-cxx \
 				--disable-shared --enable-static \
 				--prefix=$(top_builddir)/rplcas); \
 	fi