--- rpl/rplcas/Makefile.in	2020/06/12 10:36:07	1.64
+++ rpl/rplcas/Makefile.in	2021/12/10 12:14:11	1.65
@@ -145,6 +145,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 				--enable-ntl \
 				--enable-gsl \
 				--disable-shared --enable-static \
+				--disable-micropy --disable-quickjs \
 				--disable-gui --without-x); \
 	else \
 		(cd @GIAC@ && \
@@ -157,6 +158,7 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
 				--enable-ntl \
 				--enable-gsl \
 				--disable-shared --enable-static \
+				--disable-micropy --disable-quickjs \
 				--disable-gui --without-x); \
 	fi; \
 	(cd @GIAC@/src && \