Instalación
PHP Manual

Instalación manual de Controlador de MongoDB para HHVM

En el momento de escribir esto, HHVM no posee un gestor de paquetes para extensiones. Descargue el último controlador desde » GitHub. De forma alternativa, se puede clonar el repositorio para construir el último código fuente:

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

Configurar los ficheros make ejecutando:

$ hphpize
$ cmake .

Genere los ficheros configure para las bibliotecas incluidas. Para que esto funcione, es necesario tener instalados los paquetes automake, autoconf, y libtool (p.ej. mediante apt-get).

$ make configlib

Construya e instale el controlador ejecutando:

$ make -j 5
$ sudo make install

Nota:

Si el comando hphpize no está disponible, será necesario compilar HHVM desde el código fuente o instalar el paquete hhvm-dev (p.ej. mediante apt-get).

El último paso informará sobre dónde ha sido instalado mongodb.so, similar a:

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

Añada la siguiente línea al fichero php.ini (normalmente se encuentra en "/etc/hhvm"):

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


Instalación
PHP Manual