Fixes #305: Fix source build on Debian 10 and Ubuntu 18+.

This commit is contained in:
Jeff Geerling 2020-08-04 17:35:03 -05:00
parent 4df8f4b1dd
commit 2f8128d427
3 changed files with 7 additions and 5 deletions

View File

@ -182,8 +182,9 @@ The version of PHP to install from source (a git branch, tag, or commit hash).
php_source_clone_depth: 1
php_source_install_path: "/opt/php"
php_source_install_gmp_path: "/usr/include/x86_64-linux-gnu/gmp.h"
php_source_mysql_config: "/usr/bin/mysql_config"
Location where source will be cloned and installed, and the location of the GMP header file (which can be platform/distribution specific).
Location where source will be cloned and installed, and the location of the GMP header file (which can be platform/distribution specific), and `mysql_config` binary (this may be `mariadb_config` in newer operating system versions).
php_source_make_command: "make"

View File

@ -98,6 +98,7 @@ php_source_clone_dir: "~/php-src"
php_source_clone_depth: 1
php_source_install_path: "/opt/php"
php_source_install_gmp_path: "/usr/include/x86_64-linux-gnu/gmp.h"
php_source_mysql_config: "/usr/bin/mysql_config"
# For faster compile time: "make --jobs=X" where X is # of cores present.
php_source_make_command: "make"
php_source_configure_command: >
@ -136,4 +137,4 @@ php_source_configure_command: >
--with-zlib=/usr
--with-bz2=/usr
--with-recode=/usr
--with-mysqli=/usr/bin/mysql_config
--with-mysqli={{ php_source_mysql_config }}

View File

@ -43,8 +43,8 @@
- bison
- pkg-config
- re2c
- sqlite-dev
- libonig2
- libsqlite3-dev
- libonig-dev
- libxml2-dev
- libcurl4-openssl-dev
- libbz2-dev
@ -54,7 +54,7 @@
- libfreetype6-dev
- libgmp3-dev
- libmcrypt-dev
- libmysqlclient-dev
- libmariadbclient-dev
- libpspell-dev
- librecode-dev
- libssl-dev