diff options
Diffstat (limited to 'misc/opencyc/Makefile')
| -rw-r--r-- | misc/opencyc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/misc/opencyc/Makefile b/misc/opencyc/Makefile index adaac7516ee6..6318e9302045 100644 --- a/misc/opencyc/Makefile +++ b/misc/opencyc/Makefile @@ -7,7 +7,7 @@ PORTNAME= opencyc PORTVERSION= 0.7.0 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= misc linux MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -16,8 +16,8 @@ EXTRACT_SUFX= .tgz MAINTAINER= alexs@snark.rinet.ru COMMENT= General knowledge base and commonsense reasoning engine -RUN_DEPENDS= ${LINUXBASE}/usr/X11R6/lib/libXrender.so.1:${PORTSDIR}/x11/linux-XFree86-libs - +USE_LINUX= yes +USE_X_PREFIX= yes NO_BUILD= yes PLIST_SUB= PORTVERSION="${PORTVERSION}" |