--- rpl/src/Makefile.am	2013/10/26 14:11:39	1.92
+++ rpl/src/Makefile.am	2014/06/09 08:26:29	1.95
@@ -29,8 +29,7 @@ ldadd_libz = $(top_builddir)/tools/@ZLIB
 include_libz = -I$(top_builddir)/tools/@ZLIB@
 
 ldadd_librplcas = @LIBRPLCAS@
-include_librplcas = -I$(top_builddir)/rplcas/include/giac \
-		-I$(top_builddir)/rplcas/include
+include_librplcas = @INCRPLCAS@
 
 ldadd_libmotif = @LIBMOTIF@
 include_libmotif = @INCMOTIF@
@@ -513,7 +512,12 @@ always: $(top_builddir)/src/rpl-conv.c
 
 all-local: always
 
-install-exec-local: librpl
+install-exec-local: librpl s-rpl
+
+s-rpl: install-binPROGRAMS
+	@if [ @OS@ != OS2 -a @OS@ != Darwin ]; then \
+		echo "  STRIP  rpl" && strip -d $(DESTDIR)$(bindir)/rpl; \
+	fi
 
 librpl: install-libLIBRARIES
 	@echo "  BUILD  $@"
@@ -569,7 +573,5 @@ librpl: install-libLIBRARIES
 			ar s librpl.a; \
 			if [ @OS@ != OS2 -a @OS@ != Darwin ]; then \
 				echo "  STRIP  librpl.a" && strip -d librpl.a; \
-				echo "  STRIP  rpl" && strip -d rpl; \
 			fi;);
 	$(INSTALL_DATA) $(top_builddir)/librpl/librpl.a $(DESTDIR)$(libdir)/librpl.a
-