version 1.8, 2011/06/24 14:19:04
|
version 1.12, 2011/07/24 15:34:16
|
Line 1
|
Line 1
|
srcdir=@srcdir@ |
srcdir=@srcdir@ |
top_builddir=@abs_top_builddir@ |
top_builddir=@abs_top_builddir@ |
|
CFLAGS=@CFLAGS@ |
|
CXXFLAGS=@CXXFLAGS@ |
|
LDFLAGS=@LDFLAGS@ |
|
|
.PHONY: configure clean |
.PHONY: configure clean |
|
|
Line 10 lib/libgmp.a:
|
Line 13 lib/libgmp.a:
|
mkdir @GMP@; \ |
mkdir @GMP@; \ |
fi |
fi |
if [ ! -f @GMP@/config.log ]; then \ |
if [ ! -f @GMP@/config.log ]; then \ |
(cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \ |
(cd @GMP@ && \ |
|
../$(srcdir)/@GMP@/configure --with-readline=no \ |
--disable-shared --enable-static \ |
--disable-shared --enable-static \ |
--prefix=$(top_builddir)/rplcas); \ |
--prefix=$(top_builddir)/rplcas); \ |
fi |
fi |