我使用 Travis-ci 對我的一個 PHP 項目進行自動化測試。到目前為止，我使用的是 PHP 5.4 環境，一切正常。升級到 PHP 7.2 環境后，我收到以下錯誤：PHP Startup: Unable to load dynamic library 'php_gmp.so'(tried: /home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so(/home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so:cannot open shared object file: No such file or directory),/home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so.so(/home/travis/.phpenv/versions/7.2.19/lib/php/extensions/no-debug-zts-20170718/php_gmp.so.so:cannot open shared object file: No such file or directory)) in Unknown on line 0我試圖通過更新我的 .travis.yml 文件來解決這個問題，但到目前為止沒有成功language: phpdist: bionicsudo: truephp:  - 7.2# Doesn't work#before_install:#    - sudo add-apt-repository ppa:ondrej/php -y#    - sudo apt-get update#    - sudo apt-get install php7.2-gmpinstall:  - composer installbefore_script: phpenv config-add phpconfig.ini這是相關項目的 Github 頁面的鏈接：https ://github.com/BitcoinPHP/BitcoinECDSA.php