Merge pull request #157 from jakzal/php-7.4-rc

Build on PHP 7.4
jakzal · Dec 13, 2019 · cbd1a5d · cbd1a5d
2 parents 8ed5f27 + 288cb3e
commit cbd1a5d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -6,6 +6,7 @@ matrix:
     env: EXECUTE_DEPLOYMENT=true
   - php: 7.3
     env: deps=low UPDATE_TOOLS=true
+  - php: 7.4
   fast_finish: true
 cache:
   directories:

diff --git a/Makefile b/Makefile
@@ -149,4 +149,4 @@ tools/infection.pubkey:
 	curl -Ls https://github.com/infection/infection/releases/download/0.13.2/infection.phar.pubkey -o tools/infection.pubkey
 
 tools/box:
-	curl -Ls https://github.com/humbug/box/releases/download/3.8.3/box.phar -o tools/box && chmod +x tools/box
+	curl -Ls https://github.com/humbug/box/releases/download/3.8.4/box.phar -o tools/box && chmod +x tools/box
diff --git a/resources/tools.json b/resources/tools.json
@@ -167,7 +167,7 @@
         }
       },
       "test": "pdepend --version",
-      "tags": ["featured"]
+      "tags": ["featured", "exclude-php:7.4"]
     },
     {
       "name": "phan",
@@ -438,7 +438,8 @@
           "bin": "%target-dir%/phpmd"
         }
       },
-      "test": "phpmd --version"
+      "test": "phpmd --version",
+      "tags": ["exclude-php:7.4"]
     },
     {
       "name": "phpmetrics",