25 Commits

Author	SHA1	Message	Date
Docker Library Bot	53d257f279	Update to 7.1.6	2017-06-28 18:46:34 +00:00
Tianon Gravi	eadc27f12c	Account for DEB_BUILD_MULTIARCH vs DEB_BUILD_GNU_TYPE disparity ... ``` DEB_BUILD_GNU_TYPE=i586-linux-gnu DEB_BUILD_MULTIARCH=i386-linux-gnu ```	2017-06-12 11:04:00 -07:00
Docker Library Bot	3f43309a0d	Update to 7.1.6	2017-06-09 00:46:24 +00:00
Tianon Gravi	c48c629568	Explicitly invoke "pecl update-channels" at build time to ensure our channel definitions are up-to-date	2017-05-31 15:04:31 -07:00
Joe Ferguson	76a1c5ca16	Sort apt/apk package lines	2017-05-12 13:03:16 -07:00
Eugene Kirillov	87a95b77fb	Add PCRE lib to PHPIZE_DEPS	2017-05-12 15:57:15 +03:00
Docker Library Bot	7ec3afcbfd	Update to 7.1.5	2017-05-11 17:46:24 -07:00
Tianon Gravi	6844e717a5	Add explicit "--build" to our "./configure" invocations	2017-05-10 11:14:13 -07:00
Docker Library Bot	fa6464a43d	Update to 7.1.4	2017-04-13 11:46:27 -07:00
Docker Library Bot	ec02e1bcf1	Update to 7.1.3	2017-03-16 23:46:35 -07:00
Docker Library Bot	738fcd0bda	Update to 7.1.2	2017-02-16 23:46:44 -08:00
OKUMURA Takahiro	9abc1efe54	Update dockerfiles of PHP 7.x	2017-01-20 12:44:57 +09:00
OKUMURA Takahiro	6826586dfd	Change GPGKEY for PHP7.1	2017-01-20 04:23:35 +09:00
OKUMURA Takahiro	bb0be361aa	Update to PHP 7.1.1	2017-01-20 03:49:27 +09:00
yosifkit	b66c0fa028	Merge pull request #349 from infosiftr/docker-php-entrypoint ... Add simple initial entrypoint for supporting "docker run php --flags"	2016-12-15 16:12:25 -08:00
Tianon Gravi	76aad12fde	Apply update.sh	2016-12-15 10:44:01 -08:00
Joe Ferguson	9f2e76eeba	Update.sh: apply "CFLAGS -> PHP_CFLAGS" to all the things	2016-12-12 15:21:44 -08:00
Joe Ferguson	0311282445	Add explanation for clfags and ldflags	2016-12-05 15:33:53 -08:00
Joe Ferguson	cae3c03efd	Add cflags and ldflags for security and portability	2016-12-05 12:47:12 -08:00
Sébastien HOUZÉ	5b1be297c5	Update to PHP7.1 GA	2016-12-02 10:44:51 +01:00
Sébastien HOUZÉ	cb536d86e5	Rename 7.1-rc dir into 7.1	2016-12-02 10:11:27 +01:00
Tianon Gravi	7e9ddae4fd	Rename "7.1" to "7.1-rc" to simplify "update.sh" refactoring (and make it explicit when we're looking at pre-releases)	2016-10-17 09:09:36 -07:00
Hidde Beydals	cbca335c53	Updated PHP7.1 to RC3	2016-09-30 09:41:51 +02:00
Renato Mendes Figueiredo	d04f889568	Updated PHP 7.1 to RC2	2016-09-16 14:32:01 +02:00
Tianon Gravi	ce3d81c7ee	Add PHP 7.1.0RC1	2016-09-06 12:31:18 -07:00