rpl/rplcas/Makefile.in - diff

Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

version 1.5, 2011/04/21 15:59:43	version 1.6, 2011/06/01 08:56:34
Line 68 lib/libgiac.a: lib/libgmp.a lib/libmpfr.	Line 68 lib/libgiac.a: lib/libgmp.a lib/libmpfr.
--enable-gsl=../../tools/@GSL@/.libs/libgsl.a \	--enable-gsl=../../tools/@GSL@/.libs/libgsl.a \
--disable-shared --enable-static \	--disable-shared --enable-static \
--disable-gui --without-x && \	--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/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' Makefile \
> Makefile2); \	> Makefile2); \
fi	fi
make -C @GIAC@ $(AM_MAKEFLAGS) -f Makefile2	make -C @GIAC@ $(AM_MAKEFLAGS) -f Makefile2