--- rpl/Makefile.am 2013/02/10 16:21:44 1.59 +++ rpl/Makefile.am 2013/02/23 12:39:44 1.60 @@ -11,6 +11,16 @@ EXTRA_DIST = LIMITATIONS Licence_CeCILL_ rplcas/@GMP@.tar.gz rplcas/@MPFR@.tar.gz rplcas/@NTL@.tar.gz \ rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz +all: + @if [ -n $(shell $(MAKE) -v | grep "^GNU Make") ]; then \ + echo; \ + echo MAKE=$(MAKE); \ + echo "Please use GNU Make !"; \ + echo; \ + false; \ + fi + $(MAKE) all-rpl + licences: cp -f $(top_builddir)/COPYING $(srcdir) $(MAKE) -C src $@ @@ -247,7 +257,7 @@ $(top_builddir)/tools/@LIBXPM@/src/.libs $(top_builddir)/tools/@SIGSEGV@/src/.libs/@LIB_PREFIX@sigsegv.a: $(MAKE) -C $(top_builddir)/tools/@SIGSEGV@ $(AM_MAKEFLAGS) -all: $(top_builddir)/tools/@NCURSES@/lib/@LIB_PREFIX@ncurses.a \ +all-rpl: $(top_builddir)/tools/@NCURSES@/lib/@LIB_PREFIX@ncurses.a \ $(top_builddir)/tools/@READLINE@/@LIB_PREFIX@readline.a \ $(top_builddir)/tools/@READLINE@/@LIB_PREFIX@history.a \ $(top_builddir)/tools/@GSL@/.libs/@LIB_PREFIX@gsl.a \ @@ -266,13 +276,6 @@ 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)