version 1.30, 2012/07/03 09:24:21
|
version 1.31, 2012/07/04 13:44:33
|
Line 72 lib/ntl.a:
|
Line 72 lib/ntl.a:
|
cp -R @NTL@/include/NTL include |
cp -R @NTL@/include/NTL include |
|
|
lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a |
lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a |
|
sed '1,1/^#!\/bin\/bash/@BASH@/g' @COCOA@/configure > @COCOA@/configure2 |
|
mv -f @COCOA@/configure2 @COCOA@/configure |
|
chmod 755 @COCOA@/configure |
if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \ |
if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \ |
if [ @BUILD@ = @HOST@ ]; then \ |
if [ @BUILD@ = @HOST@ ]; then \ |
(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
(cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
Line 85 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
|
Line 88 lib/libcocoa.a: lib/@LIB_PREFIX@gmp.a
|
--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \ |
--with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \ |
fi; \ |
fi; \ |
fi |
fi |
|
sed 's/^SHELL=/bin/bash/SHELL=@BASH@/g' @COCOA@/configuration/autoconf.mk \ |
|
> @COCOA@/configuration/autoconf.mk2 |
|
mv -f @COCOA@/configuration/autoconf.mk2 @COCOA@/configuration/autoconf.mk |
$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library |
$(MAKE) -C @COCOA@ $(AM_MAKEFLAGS) library |
cp @COCOA@/lib/libcocoa.a lib/libcocoa.a |
cp @COCOA@/lib/libcocoa.a lib/libcocoa.a |
cp -R @COCOA@/include/CoCoA include |
cp -R @COCOA@/include/CoCoA include |