talyz
ca8b8a26e9
php: Add enabledExtensions attribute to PHP derivations
...
This provides a means to build a PHP package based on a list of
extensions from another.
For example, to generate a package with all default extensions
enabled, except opcache, but with ImageMagick:
php.withExtensions (e:
(lib.filter (e: e != php.extensions.opcache) php.enabledExtensions)
++ [ e.imagick ])
2020-04-05 16:46:38 +02:00
..
2019-08-26 21:40:19 +00:00
2019-10-06 17:46:34 -07:00
2019-08-15 13:41:18 +01:00
2019-08-28 11:07:32 +00:00
2019-08-28 11:07:32 +00:00
2020-02-12 11:50:50 +00:00
2020-02-19 23:40:14 +01:00
2020-02-27 14:23:27 +01:00
2020-02-11 22:02:53 -08:00
2019-12-08 21:47:09 +01:00
2019-11-21 15:37:34 -08:00
2020-02-26 13:12:21 +01:00
2020-03-17 06:54:06 +01:00
2020-02-15 22:09:05 -08:00
2019-08-28 11:07:32 +00:00
2019-12-16 20:20:20 -05:00
2019-12-31 00:15:46 +01:00
2020-02-12 12:34:24 +00:00
2019-12-15 13:31:53 -08:00
2020-03-11 23:56:38 +00:00
2019-11-13 16:27:38 +01:00
2020-02-23 17:22:13 +01:00
2019-11-18 20:10:43 +00:00
2019-08-15 13:41:18 +01:00
2020-02-07 10:54:34 +00:00
2019-12-31 00:15:46 +01:00
2020-03-27 07:33:21 +00:00
2020-03-05 02:42:20 +00:00
2020-02-23 13:41:27 -08:00
2019-12-30 12:58:11 +01:00
2020-02-10 20:03:47 +01:00
2019-08-15 13:41:18 +01:00
2019-12-31 00:15:46 +01:00
2020-02-26 01:14:30 +01:00
2020-02-15 18:40:02 +01:00
2019-11-18 20:10:43 +00:00
2020-01-31 16:25:40 +01:00
2020-03-14 03:24:44 +00:00
2020-01-03 10:57:55 +01:00
2019-08-15 13:41:18 +01:00
2019-08-17 10:54:38 +00:00
2020-03-23 06:31:11 +00:00
2020-02-20 08:35:45 +01:00
2020-04-05 16:46:38 +02:00
2019-08-15 13:41:18 +01:00
2020-01-06 22:25:42 -08:00
2019-09-08 23:38:31 +00:00
2019-10-08 17:14:26 +02:00
2020-01-30 18:35:30 -05:00
2019-08-31 07:41:22 -04:00
2020-03-27 01:47:30 -07:00
2019-08-28 11:07:32 +00:00
2020-01-19 12:18:34 -05:00
2020-03-16 15:23:31 +01:00
2020-03-27 02:00:17 -07:00
2019-08-15 13:41:18 +01:00
2019-08-15 13:41:18 +01:00
2019-08-15 13:41:18 +01:00
2019-11-18 20:10:43 +00:00
2020-02-10 13:23:35 -05:00
2019-08-28 11:07:32 +00:00
2019-12-30 12:58:11 +01:00
2020-01-30 11:03:45 +00:00
2019-12-19 09:46:36 -05:00
2019-08-15 13:41:18 +01:00
2019-08-28 11:07:32 +00:00
2020-03-12 19:06:47 +01:00
2020-03-01 02:34:43 +01:00