version 1.63, 2013/03/04 09:48:19
|
version 1.64, 2013/03/05 23:05:42
|
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 [ -n $(shell $(MAKE) -v | grep "^GNU Make") ]; 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 !"; \ |