--- rpl/Makefile.am	2016/09/27 15:14:44	1.76
+++ rpl/Makefile.am	2016/10/11 09:27:46	1.77
@@ -290,8 +290,7 @@ all-rpl: $(top_builddir)/tools/@NCURSES@
 		$(top_builddir)/rplsums/rplsha1sum$(EXEEXT) \
 		$(top_builddir)/tools/@GPP@/src/gpp$(EXEEXT) \
 		$(top_builddir)/tools/@UNITS@/units$(EXEEXT) \
-		$(top_builddir)/tools/@SIGSEGV@/src/.libs/@LIB_PREFIX@sigsegv.a \
-		@LIBRPLCAS@ @LIBMOTIF@
+		@LIBSIGSEGV@ @LIBRPLCAS@ @LIBMOTIF@
 # 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)