version 1.67, 2013/03/21 14:13:55
|
version 1.68, 2013/03/22 10:20:34
|
Line 12 EXTRA_DIST = LIMITATIONS Licence_CeCILL_
|
Line 12 EXTRA_DIST = LIMITATIONS Licence_CeCILL_
|
rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz |
rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz |
|
|
all: |
all: |
@if [ x$(shell $(MAKE) -v | grep "^GNU Make") != x ]; then \ |
@if [ x"$(shell $(MAKE) -v | grep '^GNU Make')" != x ]; then \ |
echo; \ |
echo; \ |
echo MAKE=$(MAKE); \ |
echo MAKE=$(MAKE); \ |
echo "Please use GNU Make !"; \ |
echo "Please use GNU Make !"; \ |