diff options
Diffstat (limited to 'www/mediawiki15/Makefile')
-rw-r--r-- | www/mediawiki15/Makefile | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/www/mediawiki15/Makefile b/www/mediawiki15/Makefile index 164b7358fb48..3b3aa99b726f 100644 --- a/www/mediawiki15/Makefile +++ b/www/mediawiki15/Makefile @@ -6,8 +6,7 @@ # PORTNAME= mediawiki -PORTVERSION= 1.3.11 -PORTREVISION= 1 +PORTVERSION= 1.3.12 CATEGORIES= www MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= wikipedia @@ -16,10 +15,31 @@ MAINTAINER= tux@pinguru.net COMMENT= The wiki enginge used by Wikipedia NO_BUILD= yes -USE_PHP= mysql session zlib +USE_PHP= iconv mbstring pcre session xml zlib imagick readline WANT_PHP_WEB= yes MEDIAWIKIDIR?= www/data-dist/mediawiki +OPTIONS= PGSQL "Use PostgreSQL instead of MySQL" off \ + LDAP "Use LDAP authentication" off + +PORT_DBDIR?= /var/db/ports +LATEST_LINK= ${PORTNAME} +OPTIONSFILE?= ${PORT_DBDIR}/${LATEST_LINK}/options + +.if exists(${OPTIONSFILE}) +.include "${OPTIONSFILE}" +.endif + +.if defined(WITH_PGSQL) +USE_PHP+= pgsql +.else +USE_PHP+= mysql +.endif + +.if defined(WITH_LDAP) +USE_PHP+= ldap +.endif + do-install: -${MKDIR} ${PREFIX}/${MEDIAWIKIDIR} @${CP} -r ${WRKSRC}/ ${PREFIX}/${MEDIAWIKIDIR} |