jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370768 )
Change subject: Document build requirements ...................................................................... Document build requirements Change-Id: If4cfba8abc8a37c1cb0d65f148c4500851dbd620 --- M README 1 file changed, 13 insertions(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/README b/README index 67067fe..7ac959b 100644 --- a/README +++ b/README @@ -15,12 +15,25 @@ Wikidiff2 is a PHP extension. +== Dependencies == It requires the following library: * libthai, a Thai language support library http://linux.thai.net/plone/TLWG/libthai/ On Debian-based systems, you need libthai0 and libthai-dev packages +* To build wikidiff2 as a HHVM extension on Debian systems, you need the following packages: + hhvm-dev libtbb-dev libtbb2 libboost-all-dev libdouble-conversion-dev \ + libdouble-conversion1 libgoogle-glog-dev libgoogle-glog-doc libgoogle-glog0 \ + libjemalloc-dev libjemalloc1 libjemalloc1-dbg + +* To build wikidiff2 as a PHP extension, you need the following packages: +** On Jessie and previous versions: + php5-dev pkg-config +** On Stretch and later versions: + php-dev pkg-config + + == Compilation and installation with Zend PHP == $ phpize -- To view, visit https://gerrit.wikimedia.org/r/370768 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If4cfba8abc8a37c1cb0d65f148c4500851dbd620 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/php/wikidiff2 Gerrit-Branch: master Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: Jkroll <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: Tobias Gritschacher <[email protected]> Gerrit-Reviewer: WMDE-Fisch <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
