[MediaWiki-commits] [Gerrit] mediawiki...wikidiff2[master]: Document build requirements

2017-08-22 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: Jkroll 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: Tobias Gritschacher 
Gerrit-Reviewer: WMDE-Fisch 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...wikidiff2[master]: Document build requirements

2017-08-08 Thread MaxSem (Code Review) 
MaxSem has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/370768 )

Change subject: Document build requirements
..

Document build requirements

Change-Id: If4cfba8abc8a37c1cb0d65f148c4500851dbd620
---
M README
1 file changed, 9 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2 
refs/changes/68/370768/1

diff --git a/README b/README
index 67067fe..bf72bdd 100644
--- a/README
+++ b/README
@@ -15,12 +15,21 @@
 
 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:
+php5-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: newchange
Gerrit-Change-Id: If4cfba8abc8a37c1cb0d65f148c4500851dbd620
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/php/wikidiff2
Gerrit-Branch: master
Gerrit-Owner: MaxSem 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits