php: move $out/lib/build used by phpize to dev output

Changed files
+5 -1
pkgs
development
interpreters
+5 -1
pkgs/development/interpreters/php/generic.nix
···
'';
postFixup = ''
-
mkdir -p $dev/bin $dev/share/man/man1
+
mkdir -p $dev/bin $dev/lib $dev/share/man/man1
mv $out/bin/phpize $out/bin/php-config $dev/bin/
+
mv $out/lib/build $dev/lib/
mv $out/share/man/man1/phpize.1.gz \
$out/share/man/man1/php-config.1.gz \
$dev/share/man/man1/
+
+
substituteInPlace $dev/bin/phpize \
+
--replace-fail "$out/lib" "$dev/lib"
'';
src = if phpSrc == null then defaultPhpSrc else phpSrc;