1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
3 NAMEBASE= php73-readline
5 KEYWORDS= lang www php devel
7 SDESC[standard]= PHP 7.3 extension: readline library interface
8 HOMEPAGE= http://php.net/
12 SITES[main]= PHP/distributions
13 DISTFILE[1]= php-7.3.4.tar.xz:main
15 SPKGS[standard]= single
17 OPTIONS_AVAILABLE= none
18 OPTIONS_STANDARD= none
20 USES= php:ext,73 readline
22 DISTNAME= php-7.3.4/ext/{{PHP_MODNAME}}
23 EXTRACT_HEAD[1]= {{TAR}} -xf
24 EXTRACT_TAIL[1]= php-7.3.4/ext/{{PHP_MODNAME}}
26 FPC_EQUIVALENT= devel/php73-readline
28 CONFIGURE_ARGS= --with-readline={{LOCALBASE}}
30 [FILE:58:descriptions/desc.single]
31 This package contains the readline extension for PHP 7.3.
35 6fe79fa1f8655f98ef6708cde8751299796d6c1e225081011f4104625b923b83 11977004 php-7.3.4.tar.xz
38 [FILE:1023:patches/patch-config.m4]
39 --- config.m4.orig 2019-02-05 13:10:04 UTC
41 @@ -3,13 +3,8 @@ dnl config.m4 for extension readline
42 PHP_ARG_WITH(libedit,for libedit readline replacement,
43 [ --with-libedit[=DIR] Include libedit readline replacement (CLI/CGI only)])
45 -if test "$PHP_LIBEDIT" = "no"; then
46 PHP_ARG_WITH(readline,for readline support,
47 [ --with-readline[=DIR] Include readline support (CLI/CGI only)])
49 - dnl "register" the --with-readline option to preven invalid "unknown configure option" warning
50 - php_with_readline=no
53 if test "$PHP_READLINE" && test "$PHP_READLINE" != "no"; then
54 for i in $PHP_READLINE /usr/local /usr; do
55 @@ -64,6 +59,13 @@ if test "$PHP_READLINE" && test "$PHP_RE
57 -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS
60 + PHP_CHECK_LIBRARY(readline, rl_completion_matches,
62 + AC_DEFINE(HAVE_RL_COMPLETION_MATCHES, 1, [ ])
64 + -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS
67 PHP_CHECK_LIBRARY(readline, rl_completion_matches,
71 [FILE:226:patches/patch-readline_cli.c]
72 --- readline_cli.c.orig 2019-02-05 13:10:04 UTC
84 #ifndef HAVE_RL_COMPLETION_MATCHES