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