diff options
| author | Tomodachi94 <tomodachi94@protonmail.com> | 2024-11-22 17:09:43 +0000 |
|---|---|---|
| committer | Tomodachi94 <tomodachi94@protonmail.com> | 2024-11-30 21:59:27 +0000 |
| commit | df901165cd95d7183af191eeff8b4fb75c48ec85 (patch) | |
| tree | 3c668447edde2b700f2f85a290a9eadfbcb893a6 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 8c06f39e268492c31d1065e189aef60cc08e2eb9 (diff) | |
ant: change ant home to $out/share
Everything in the Ant home is platform-agnostic (JARs),
so it should go to $out/share.
Debian puts the Ant home into /usr/share as well, so this
is not unprecedented:
https://salsa.debian.org/java-team/ant/-/blob/31d9fc0a76ac991509fcfc537ffc3dbf61ebc41d/debian/README.Debian
Fedora does too:
https://src.fedoraproject.org/rpms/ant/blob/20b8a9a5596a5fd2b12c1d6f922f4502450db674/f/ant.spec#_39
And Arch Linux:
https://gitlab.archlinux.org/archlinux/packaging/packages/ant/-/blob/e8e0ddb82105f16cd7d8153091c2c6f527d9b371/PKGBUILD#L59
And Gentoo:
https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-java/ant/ant-1.10.15.ebuild?id=55bcd350a89469eac0af4bfafe464050d01154e0#n381
And probably more, I stopped looking :)
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions