--- rpl/rplcas/Makefile.in	2012/12/13 21:58:17	1.36
+++ rpl/rplcas/Makefile.in	2012/12/14 12:30:35	1.37
@@ -123,51 +123,44 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 	if [ ! -d @GIAC@ ]; then \
 		mkdir @GIAC@ ; \
 	fi
-	if [ ! -f @GIAC@/Makefile2 ]; then \
-		if [ @BUILD@ = @HOST@ ]; then \
-			(cd @GIAC@ && \
-					CXX=@CXX@ \
-					CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ $(CPPFLAGS)" \
-					CXXFLAGS="$(CXXFLAGS) -fpermissive" \
-					LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \
-					../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
-					--enable-pari=$(top_builddir)/rplcas \
-					--enable-ntl=$(top_builddir)/rplcas \
-					--enable-cocoa=$(top_builddir)/rplcas \
-					--enable-gsl=$(top_builddir)/tools/@GSL@/.libs/libgsl.a \
-					--disable-shared --enable-static \
-					--disable-gui --without-x && \
-					sed 's/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' Makefile | \
-					sed 's/DIST_SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' \
-					> Makefile2); \
-		else \
-			(cd @GIAC@ && \
-					CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ @SYSROOT@ $(CPPFLAGS)" \
-					CXXFLAGS="$(CXXFLAGS) -fpermissive" \
-					LDFLAGS="-L$(top_builddir)/rplcas/lib -L@SYSROOT2@/usr/lib $(LDFLAGS)" \
-					../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
-					--host=@HOST@ \
-					--enable-pari=$(top_builddir)/rplcas \
-					--enable-ntl=$(top_builddir)/rplcas \
-					--enable-cocoa=$(top_builddir)/rplcas \
-					--enable-gsl=$(top_builddir)/tools/@GSL@/.libs/libgsl.a \
-					--disable-shared --enable-static \
-					--disable-gui --without-x && \
-					sed 's/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src/g' Makefile \
-					> Makefile2); \
-		fi; \
-		(cd @GIAC@/src && \
-				mv -f config.h config.h.orig && \
-				sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \
-				sed -e 's/#define HAVE_PNG_H 1//' > config.h && \
-				rm -f config.h.orig); \
-	fi
-	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS) -f Makefile2
+	if [ @BUILD@ = @HOST@ ]; then \
+		(cd @GIAC@ && \
+				CXX=@CXX@ \
+				CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ $(CPPFLAGS)" \
+				CXXFLAGS="$(CXXFLAGS) -fpermissive" \
+				LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \
+				../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
+				--enable-pari=$(top_builddir)/rplcas \
+				--enable-ntl=$(top_builddir)/rplcas \
+				--enable-cocoa=$(top_builddir)/rplcas \
+				--enable-gsl=$(top_builddir)/tools/@GSL@/.libs/libgsl.a \
+				--disable-shared --enable-static \
+				--disable-gui --without-x); \
+	else \
+		(cd @GIAC@ && \
+				CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ @SYSROOT@ $(CPPFLAGS)" \
+				CXXFLAGS="$(CXXFLAGS) -fpermissive" \
+				LDFLAGS="-L$(top_builddir)/rplcas/lib -L@SYSROOT2@/usr/lib $(LDFLAGS)" \
+				../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
+				--host=@HOST@ \
+				--enable-pari=$(top_builddir)/rplcas \
+				--enable-ntl=$(top_builddir)/rplcas \
+				--enable-cocoa=$(top_builddir)/rplcas \
+				--enable-gsl=$(top_builddir)/tools/@GSL@/.libs/libgsl.a \
+				--disable-shared --enable-static \
+				--disable-gui --without-x); \
+	fi; \
+	(cd @GIAC@/src && \
+			mv -f config.h config.h.orig && \
+			sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \
+			sed -e 's/#define HAVE_PNG_H 1//' > config.h && \
+			rm -f config.h.orig); \
+	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS)
 	if [ x$(srcdir) != x. ]; then \
 		for i in mkinstalldirs xcas.xpm xcas.desktop xcas.applications; \
 				do cp $(srcdir)/@GIAC@/$$i @GIAC@/$$i; done; \
 	fi
-	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS) install -f Makefile2
+	$(MAKE) -C @GIAC@ $(AM_MAKEFLAGS) install
 
 lib/librplcas.a: lib/@LIB_PREFIX@giac.a lib/@LIB_PREFIX@gmp.a \
 		lib/@LIB_PREFIX@mpfr.a lib/ntl.a lib/libcocoa.a lib/libpari.a