public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Fix installing phalcon (#1058)

pull/1060/head 2.7.17
Michele Locati 2025-02-05 16:44:05 +01:00 committed by GitHub
parent 42eb38fe58
commit 9685b5477a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
install-php-extensions
View File

@ -3703,6 +3703,7 @@ installRemoteModule() {
installRemoteModule_version=5.4.0 installRemoteModule_version=5.4.0
fi fi
fi fi
installRemoteModule_cppflags='-Wno-incompatible-pointer-types'
;; ;;
php_trie) php_trie)
if ! test -f /usr/local/include/hat-trie/include/tsl/htrie_map.h; then if ! test -f /usr/local/include/hat-trie/include/tsl/htrie_map.h; then