--- rpl/src/Makefile.am 2018/05/29 14:21:09 1.115 +++ rpl/src/Makefile.am 2019/02/07 21:44:14 1.116 @@ -28,7 +28,7 @@ include_libsigsegv = @INCSIGSEGV@ ldadd_libz = $(top_builddir)/tools/@ZLIB@/libz.a include_libz = -I$(top_builddir)/tools/@ZLIB@ -ldadd_librplcas = @LIBRPLCAS@ +ldadd_librplcas = @LIBRPLCAS@ @LIBGIAC@ include_librplcas = @INCRPLCAS@ ldadd_libmotif = @LIBMOTIF@