--- rpl/Makefile.am 2012/06/12 21:20:22 1.51 +++ rpl/Makefile.am 2012/07/03 09:24:21 1.53 @@ -263,6 +263,10 @@ 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 $($(MAKE) -v | grep "^GNU Make") ]; then \ + @echo "Please use GNU Make"; \ + 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)