Commit Graph

8 Commits

Author SHA1 Message Date
Jan Tojnar
a2f49342d8 treewide: Reduce jtojnar maintainership
Notably fwupd, pipewire and flatpak.
I want to focus on GNOME and other packages I still actually use.
Pipewire is still important but I have not touched the packaging in a while.
2023-05-20 16:40:17 +02:00
Jan Tojnar
35c91b9630 php80.packages.php-parallel-lint: Fix build
One of the main use cases of this program is ensuring that a project
targeting older PHP version does not use syntax that is not available there.

Unfortunately, box is now only available for PHP ≥ 8.1.
And even if we bring it from PHP 8.1 package set, the produced PHAR
will contain syntax incompatible with older PHP versions.

To work around this we either need to disable requirements checks
or force use the default PHAR stub over the box’s one.
And it turns out that php-parallel-linter already does the former,
only we did not have access to the `box.json` file
because it was excluded from the `git archive`.

Let’s fetch the source using Git so that box configuration is available.

Reverts 2db0ddb968
2022-11-14 23:36:38 +01:00
Elis Hirwing
2db0ddb968
php80.packages.php-parallel-lint: Mark as broken 2022-11-13 13:46:55 +01:00
Lucas Hoffmann
4493598d4b php.packages.php-parallel-lint: fix build
The "build" subcommand of box was replaced by "compile" in version 4.0:
https://github.com/box-project/box/blob/master/UPGRADE.md#from-3x-to-4x
This broke the build of php-parallel-lint since
75bb9aeda4.

This fixes #199994.
2022-11-07 17:48:31 +01:00
Thomas Gerbet
74240cf176 phpPackages.php-parallel-lint: 1.0.0 -> 1.3.2
Upstream has been modified to the advised fork which seems to be manaed
by known members of the PHP community.
2022-05-12 11:58:36 +02:00
Pol Dellaiera
40195e1c4e
php.packages: Add missing hooks. 2022-03-13 18:10:27 +01:00
Elis Hirwing
5ad7fb28f6
treewide/php-packages: Drop pkgs from arguments to packages 2021-02-27 11:29:20 +01:00
Elis Hirwing
5d0cc8d156
phpPackages.php-parallel-lint: Move to separate directory 2020-10-11 17:04:02 +02:00