--- rpl/Makefile.am	2016/09/27 15:14:44	1.76
+++ rpl/Makefile.am	2017/06/30 13:11:25	1.79
@@ -1,5 +1,5 @@
 SUBDIRS = tools rplsums rpliconv rplawk lapack/blas lapack/lapack rplcas src \
-		rpltags scripts man doc
+		rpltags scripts man doc modules/sets
 
 include_HEADERS = rplconfig.h
 
@@ -290,12 +290,12 @@ 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)
 	$(MAKE) -C $(top_builddir)/src $(AM_MAKEFLAGS)
+	$(MAKE) -C $(top_builddir)/modules/sets $(AM_MAKEFLAGS)
 
 debian: all
 	$(MAKE) -C $(top_builddir)/src $(AM_MAKEFLAGS) librpl