--- rpl/rplcas/Makefile.in	2016/09/26 14:47:19	1.47
+++ rpl/rplcas/Makefile.in	2019/01/07 06:13:33	1.52
@@ -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
@@ -100,9 +100,18 @@ lib/ntl.a:
 	cp -R @NTL@/include/NTL include
 
 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
-	sed '1,1s/^#!\/bin\/bash/#!@BASH@/g' @COCOA@/configure > @COCOA@/configure2
-	mv -f @COCOA@/configure2 @COCOA@/configure
-	chmod 755 @COCOA@/configure
+for i in $(shell find @COCOA@ -name "*" -exec grep /bin/bash {} /dev/null \; | cut -d: -f1); \
+	do
+		sed '1,1s/^#! *\/bin\/bash/#!@BASH@/g' $$i > $$i.2; \
+		mv -f $$i.2 $$i; \
+		chmod 755 $$i; \
+	done;
+	sed 's/^SHELL=\/bin\/bash/SHELL=@BASH@/g' \
+		@COCOE@/configuration/autoconf.mk \
+		> @COCOA@/configuration/autoconf.mk2
+	mv -f @COCOE@/configuration/autoconf.mk2 \
+		> @COCOA@/configuration/autoconf.mk
+	chmod 755 @COCOA@/configuration/autoconf.mk
 	if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
 		if [ @BUILD@ = @HOST@ ]; then \
 			(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
@@ -116,9 +125,6 @@ lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
 					--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
 		fi; \
 	fi
-	sed 's/^SHELL=\/bin\/bash/SHELL=@BASH@/g' @COCOA@/configuration/autoconf.mk \
-			> @COCOA@/configuration/autoconf.mk2
-	mv -f @COCOA@/configuration/autoconf.mk2 @COCOA@/configuration/autoconf.mk
 	$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library
 	cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
 	cp -R @COCOA@/include/CoCoA include