Ручная установка драйвера MongoDB HHVM

На момент написания, HHVM не имел пакетного менеджера для расширений. Загрузите последний драйвер с » GitHub или склонируйте репозиторий для сборки последней версии драйвера:

$ git clone https://github.com/mongodb/mongo-hhvm-driver.git
$ cd mongo-hhvm-driver
$ git submodule sync && git submodule update --init --recursive

Подготовьте пакет к компиляции:

$ hphpize
$ cmake .

Сгенерируйте файл configure для встроенных библиотек. Для того, чтобы это сработало, у вас должны быть установлены пакеты automake, autoconf и libtool (например с помощью apt-get).

$ make configlib

Соберите драйвер:

$ make -j 5
$ sudo make install

Замечание:

Если команда hphpize не доступна, то вам придется или собирать HHVM из исходных кодов, или установить пакет hhvm-dev (с помощью apt-get).

На последнем шаге будет выведен путь, по которому располагается скомпилированный модуль mongodb.so. Например так:

Installing:     /usr/local/hhvm/3.9.1/lib/hhvm/extensions/20150212/mongodb.so

Добавьте следующие строки в php.ini (обычно он лежит по пути "/etc/hhvm"):

hhvm.dynamic_extension_path=/usr/local/hhvm/3.9.1/lib/hhvm/extensions/20150212
hhvm.dynamic_extensions[mongodb]=mongodb.so