File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ PHP_BASE_DIRS=(
18
18
" /usr/local/php80"
19
19
)
20
20
21
+ # the command used to clone a repo
21
22
declare -A PHP_EXTS_CMD=(
22
23
[" apcu" ]=" git clone https://github.com/krakjoe/apcu.git apcu"
23
24
[" ast" ]=" git clone https://github.com/nikic/php-ast.git ast"
@@ -46,6 +47,7 @@ declare -A PHP_EXTS_CHECKOUT=(
46
47
[" xxhash" ]=" origin/develop"
47
48
)
48
49
50
+ # extra flags appended to php-config
49
51
declare -A PHP_EXTS_CONFIG=(
50
52
[" jsond" ]=" --enable-jsond-prefixing"
51
53
)
@@ -65,13 +67,13 @@ pushd "${SCRIPT_DIR}" || exit
65
67
for IDX in " ${! PHP_BASE_DIRS[@]} " ; do
66
68
PHP_BASE_DIR=${PHP_BASE_DIRS[$IDX]}
67
69
68
- # necessary files
70
+ # required files
69
71
declare -A files=(
70
72
[" phpize" ]=" ${PHP_BASE_DIR} /bin/phpize"
71
73
[" php_config" ]=" ${PHP_BASE_DIR} /bin/php-config"
72
74
)
73
75
74
- # eleminate PHP base directory if necessary files not found
76
+ # eleminate PHP base directory if required files not found
75
77
for file in " ${files[@]} " ; do
76
78
if [ ! -f " ${file} " ]; then
77
79
echo " [*] Skip '${PHP_BASE_DIR} ' because '${file} ' is not a file..."
You can’t perform that action at this time.
0 commit comments