--- rpl/Makefile.am 2012/06/12 21:20:22 1.51 +++ rpl/Makefile.am 2012/08/22 09:29:49 1.55 @@ -263,6 +263,13 @@ all: $(top_builddir)/tools/@NCURSES@/lib $(top_builddir)/tools/@UNITS@/units$(EXEEXT) \ $(top_builddir)/tools/@SIGSEGV@/src/.libs/@LIB_PREFIX@sigsegv.a \ @LIBRPLCAS@ @LIBMOTIF@ + @if [ -n $(shell $(MAKE) -v | grep "^GNU Make") ]; then \ + echo; \ + echo MAKE=$(MAKE); \ + echo "Please use GNU Make !"; \ + echo; \ + false; \ + fi # Cette règle n'est là que pour forcer la compilation de Gnuplot. $(MAKE) -C $(top_builddir)/tools $(AM_MAKEFLAGS) $(MAKE) -C $(top_builddir)/rpltags $(AM_MAKEFLAGS)