Merge pull request #26309 from bachp/php-extension-dir

php: set extension dir to correct location
This commit is contained in:
Jörg Thalheim 2017-06-03 13:21:53 +01:00 committed by GitHub
commit 0b4770c002

View File

@ -274,9 +274,10 @@ let
#[[ -z "$libxml2" ]] || addToSearchPath PATH $libxml2/bin #[[ -z "$libxml2" ]] || addToSearchPath PATH $libxml2/bin
export EXTENSION_DIR=$out/lib/php/extensions
configureFlags+=(--with-config-file-path=$out/etc \ configureFlags+=(--with-config-file-path=$out/etc \
--includedir=$dev/include \ --includedir=$dev/include)
EXTENSION_DIR=$out/lib/php/extensions)
''; '';
configureFlags = [ configureFlags = [