Open kevinresol opened 5 years ago
https://blog.travis-ci.com/2013-03-08-preinstalled-php-extensions
echo "extension = <extension>.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini
Current workaround:
https://github.com/kevinresol/bigint/blob/ae815140e5bb4c460be4f714335bdfd05693be5d/.travis.yml#L29-L32
https://blog.travis-ci.com/2013-03-08-preinstalled-php-extensions
Current workaround:
https://github.com/kevinresol/bigint/blob/ae815140e5bb4c460be4f714335bdfd05693be5d/.travis.yml#L29-L32