rpl/rplcas/Makefile.in - diff

Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

version 1.34, 2012/10/01 09:34:54	version 1.35, 2012/12/13 21:23:25
Line 152 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@	Line 152 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
--enable-gsl=$(top_builddir)/tools/@GSL@/.libs/libgsl.a \	--enable-gsl=$(top_builddir)/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/g' Makefile \
> Makefile2); \	> Makefile2); \
fi; \	fi; \
(cd @GIAC@/src && \	(cd @GIAC@/src && \