Use php 7.3

parent 4688df10
......@@ -3,15 +3,15 @@ self: super:
let
extraConfig = self.writeText "custom-extensions.ini" ''
extension=${self.php72Packages.apcu}/lib/php/extensions/apcu.so
extension=${self.php72Packages.imagick}/lib/php/extensions/imagick.so
zend_extension=${self.php72Packages.xdebug}/lib/php/extensions/xdebug.so
extension=${self.php73Packages.apcu}/lib/php/extensions/apcu.so
extension=${self.php73Packages.imagick}/lib/php/extensions/imagick.so
zend_extension=${self.php73Packages.xdebug}/lib/php/extensions/xdebug.so
'';
# `php` doesn't have override capabilities and is expected to be
# modified using nixpkgs config args. This is hacky and makes defining
# jobsets harder. Thus we simply patch the configure flags.
php' = super.php72.overrideAttrs (old: {
php' = super.php73.overrideAttrs (old: {
configureFlags = old.configureFlags ++ [
"--with-xsl=${self.libxslt.dev}"
"--with-tidy=${self.html-tidy}"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment