2020-09-28 14:18:38 +02:00
|
|
|
TERMUX_PKG_HOMEPAGE=https://github.com/phpredis/phpredis
|
|
|
|
TERMUX_PKG_DESCRIPTION="PHP extension for interfacing with Redis"
|
|
|
|
TERMUX_PKG_LICENSE="PHP-3.0"
|
2020-12-20 14:16:34 +01:00
|
|
|
TERMUX_PKG_MAINTAINER="@termux"
|
2021-06-10 21:00:54 +02:00
|
|
|
TERMUX_PKG_VERSION=5.3.4
|
2021-12-01 12:44:18 +01:00
|
|
|
TERMUX_PKG_REVISION=2
|
2020-09-28 14:18:38 +02:00
|
|
|
TERMUX_PKG_SRCURL=https://github.com/phpredis/phpredis/archive/${TERMUX_PKG_VERSION}.tar.gz
|
2021-06-10 21:00:54 +02:00
|
|
|
TERMUX_PKG_SHA256=c0df53dc4e8cd2921503fefa224cfd51de7f74561324a6d3c66f30d4016178b3
|
2020-09-28 14:18:38 +02:00
|
|
|
TERMUX_PKG_DEPENDS=php
|
|
|
|
|
|
|
|
termux_step_pre_configure() {
|
|
|
|
$TERMUX_PREFIX/bin/phpize
|
|
|
|
}
|