aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--misc/kdeedu3/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/misc/kdeedu3/Makefile b/misc/kdeedu3/Makefile
index b3032c576a6a..9d5125a8c915 100644
--- a/misc/kdeedu3/Makefile
+++ b/misc/kdeedu3/Makefile
@@ -27,7 +27,8 @@ USE_XORG= xpm
USE_GMAKE= yes
USE_AUTOTOOLS= libtool:15
-CONFIGURE_ARGS+=--enable-libusb=${LOCALBASE}
+CONFIGURE_ARGS+=--enable-libusb=${LOCALBASE} \
+ --disable-ocamlsolver
USE_LDCONFIG= yes
LDCONFIG_DIRS+= %%PREFIX%%/lib %%PREFIX%%/lib/kde3