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