version 1.26, 2011/11/19 18:04:27
|
version 1.27, 2011/11/19 21:21:20
|
Line 74 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
Line 74 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
fi |
fi |
if [ ! -f @GIAC@/Makefile2 ]; then \ |
if [ ! -f @GIAC@/Makefile2 ]; then \ |
(cd @GIAC@ && \ |
(cd @GIAC@ && \ |
CPPFLAGS="-I$(top_builddir)/rplcas/include $(CPPFLAGS)" \ |
CPPFLAGS="-I$(top_builddir)/rplcas/include -I$(top_builddir)/tools/@GSL@ $(CPPFLAGS)" \ |
LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \ |
LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \ |
../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \ |
../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \ |
--enable-pari=$(top_builddir)/rplcas \ |
--enable-pari=$(top_builddir)/rplcas \ |
--enable-ntl=$(top_builddir)/rplcas \ |
--enable-ntl=$(top_builddir)/rplcas \ |
--enable-cocoa=$(top_builddir)/rplcas \ |
--enable-cocoa=$(top_builddir)/rplcas \ |
--enable-gsl=../../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 check intl po debianold debian/g' Makefile \ |