--- rpl/rplcas/Makefile.in	2019/11/01 16:24:53	1.63
+++ rpl/rplcas/Makefile.in	2020/06/12 10:36:07	1.64
@@ -169,7 +169,6 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 			sed -e 's/\/\* #undef HAVE_LIBNTL \*\//#define HAVE_LIBNTL/' | \
 			sed -e 's/\/\* #undef HAVE_LIBPARI \*\//#define HAVE_LIBPARI/' | \
 			sed -e 's/\/\* #undef HAVE_LIBGSL \*\//#define HAVE_LIBGSL/' | \
-			sed -e 's/#define HAVE_LIBCOCOA 1//' | \
 			sed -e 's/#define HAVE_LIBSAMPLERATE 1//' | \
 			sed -e 's/#define HAVE_PNG_H 1//' > config.h && \
 			rm -f config.h.orig); \