diff options
| author |  Paul Yang <TeBoring@users.noreply.github.com> | 2016-10-25 17:27:05 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-10-25 17:27:05 -0700 |
| commit | 51c5ff889ccd3836c25f40baafb350f92c9ee103 (patch) | |
| tree | 39ba93f36167e2ab73c25ac337da0a97a4df4970 /jenkins | |
| parent | 58580da37357941d502805be3ae520441be77728 (diff) | |
Fix pure php implementation for 32-bit machine. (#2282)
Diffstat (limited to 'jenkins')
| -rwxr-xr-x | jenkins/buildcmds/pull_request_32.sh | 2 | ||||
| -rw-r--r-- | jenkins/docker32/Dockerfile | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/jenkins/buildcmds/pull_request_32.sh b/jenkins/buildcmds/pull_request_32.sh index 99df2971..bf0fb7ff 100755 --- a/jenkins/buildcmds/pull_request_32.sh +++ b/jenkins/buildcmds/pull_request_32.sh @@ -12,5 +12,5 @@ export DOCKERFILE_DIR=jenkins/docker32 export DOCKER_RUN_SCRIPT=jenkins/pull_request_in_docker.sh export OUTPUT_DIR=testoutput -export TEST_SET="php_all" +export TEST_SET="php_all_32" ./jenkins/build_and_run_docker.sh diff --git a/jenkins/docker32/Dockerfile b/jenkins/docker32/Dockerfile index 73dfd8d5..015d273c 100644 --- a/jenkins/docker32/Dockerfile +++ b/jenkins/docker32/Dockerfile @@ -83,7 +83,9 @@ RUN wget http://am1.php.net/get/php-5.5.38.tar.bz2/from/this/mirror RUN mv mirror php-5.5.38.tar.bz2 RUN tar -xvf php-5.5.38.tar.bz2 RUN cd php-5.5.38 && ./configure --enable-maintainer-zts --prefix=/usr/local/php-5.5-zts && \ - make && make install + make && make install && make clean && cd .. +RUN cd php-5.5.38 && ./configure --enable-bcmath --prefix=/usr/local/php-5.5-bc && \ + make && make install && make clean && cd .. ################## # Python dependencies |