version 1.68, 2013/03/22 10:20:34
|
version 1.70, 2013/03/23 17:57:55
|
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 !"; \ |