Tweak dockerfile.sh

Author: rybakit

.travis.yml

@@ -9,7 +9,7 @@ env:
   - PHP_RUNTIME='php:7.2-cli'
   - PHP_RUNTIME='php:7.3-cli' CHECK_CS=1
   - PHP_RUNTIME='php:7.4-cli' PHPUNIT_OPTS='--coverage-text --coverage-clover=coverage.clover'
-  - PHP_RUNTIME='php:8.0-cli'
+  - PHP_RUNTIME='php:8.0-cli' EXT_DISABLE_DECIMAL=1
 
 jobs:
   fast_finish: true

dockerfile.sh

@@ -5,7 +5,7 @@ if [[ -z "$PHP_RUNTIME" ]]; then
 fi
 
 RUN_CMDS=''
-if [[ $PHP_RUNTIME != php:8* ]]; then
+if [[ -z "$EXT_DISABLE_DECIMAL" || "0" == "$EXT_DISABLE_DECIMAL" || "false" == "$EXT_DISABLE_DECIMAL" ]] ; then
   RUN_CMDS="$RUN_CMDS && \\\\\n    apt-get install -y libmpdec-dev"
   RUN_CMDS="$RUN_CMDS && \\\\\n    pecl install decimal && docker-php-ext-enable decimal"
 fi