--- rpl/configure.ac	2014/05/17 14:28:46	1.94
+++ rpl/configure.ac	2014/06/09 08:26:28	1.95
@@ -174,18 +174,23 @@ AC_ARG_ENABLE(rplcas,
 if test "$enableval" = "no"; then
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	INCRPLCAS=
 else
 	RPLCAS=-DRPLCAS
 	LIBRPLCAS=\$\(top_builddir\)/rplcas/lib/librplcas.a
+	INCRPLCAS="-I\$(top_builddir)/rplcas/include/giac \
+			-I\$(top_builddir)/rplcas/include"
 fi],[
 	RPLCAS=-URPLCAS
 	LIBRPLCAS=
+	INCRPLCAS=
 	]
 )
 
 AC_SUBST(ABI)
 AC_SUBST(RPLCAS)
 AC_SUBST(LIBRPLCAS)
+AC_SUBST(INCRPLCAS)
 
 dnl Options
 AC_ARG_ENABLE(optimization,