Merge pull request #3081 from ericvergnaud/reinstate-php-ci

reinstate PHP ci on circle-ci
This commit is contained in:
ericvergnaud 2021-02-13 20:19:11 +08:00 committed by GitHub
commit 5719d3496c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 15 additions and 6 deletions

View File

@ -57,7 +57,7 @@ workflows:
- test_runtime:
matrix:
parameters:
target: [ dart, go, python2, python3, javascript ]
target: [ dart, go, python2, python3, javascript, php ]
- test_runtime:
matrix:
parameters:

View File

@ -5,7 +5,14 @@ set -euo pipefail
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
sudo apt-get update -qq
sudo apt update
sudo apt install php-all-dev
php -v
git clone https://github.com/antlr/antlr-php-runtime.git
sudo apt install composer
git clone https://github.com/antlr/antlr-php-runtime.git runtime/PHP
composer install -d runtime/PHP
mvn install -DskipTests=true -Dmaven.javadoc.skip=true -B -V

View File

@ -2,8 +2,10 @@
set -euo pipefail
php -v
php_path=$(which php)
composer install -d ../runtime/PHP
mvn -q -DPHP_PATH="${php_path}" -Dparallel=methods -DthreadCount=4 -Dtest=php.* test
pushd runtime-testsuite
echo "running maven tests..."
mvn -q -DPHP_PATH="${php_path}" -Dparallel=methods -DthreadCount=4 -Dtest=php.* test
popd