De monetdb.so file moet echt in PHP_EXTENSION_DIR staan, anders kan de
module niet worden gebruikt binnen PHP. Hoe zullen we dit fixen? Goed
documenteren, of mischien een phpinstall.sh scriptje toevoegen wat het
voor je regelt (wat als root moet worden uitgevoerd)?
--
Arjan Scherpenisse
Centrum voor Wiskunde en Informatica,
Amsterdam, the Netherlands
