--- rpl/configure.ac	2017/06/28 09:20:28	1.194
+++ rpl/configure.ac	2017/06/29 12:33:34	1.195
@@ -1461,6 +1461,7 @@ AC_CONFIG_FILES(rplcas/Makefile)
 AC_CONFIG_FILES(rplawk/Makefile)
 AC_CONFIG_FILES(lapack/lapack/Makefile)
 AC_CONFIG_FILES(lapack/blas/Makefile)
+AC_CONFIG_FILES(modules/sets/Makefile)
 
 AC_CONFIG_FILES(man/rpl.1)
 AC_CONFIG_FILES(man/rplcc.1)