#!/bin/sh
. $IPKG_INSTROOT/etc/functions.sh
echo "extension=gmp.so" >> $IPKG_INSTROOT/etc/php.ini