aboutsummaryrefslogtreecommitdiff
path: root/misc/kdeedu3
diff options
context:
space:
mode:
authorMartin Wilke <miwi@FreeBSD.org>2008-08-19 12:30:22 +0000
committerMartin Wilke <miwi@FreeBSD.org>2008-08-19 12:30:22 +0000
commitf5049b6aeff70e80494f851d7be535ef42c91085 (patch)
tree3b4f11948afd124b750ac8fad8c73f02fd6a9712 /misc/kdeedu3
parentad6b80f7e0b0caf462ba131af43b91dd5f35398b (diff)
downloadports-f5049b6aeff70e80494f851d7be535ef42c91085.tar.gz
ports-f5049b6aeff70e80494f851d7be535ef42c91085.zip
Notes
Diffstat (limited to 'misc/kdeedu3')
-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