antlr: use jre8

This commit is contained in:
Gabriel Ebner 2020-09-19 13:47:12 +02:00
parent 98cab0de9f
commit cb973a0368

View File

@ -10466,13 +10466,21 @@ in
ansible-lint = with python3.pkgs; toPythonApplication ansible-lint; ansible-lint = with python3.pkgs; toPythonApplication ansible-lint;
antlr = callPackage ../development/tools/parsing/antlr/2.7.7.nix { }; antlr = callPackage ../development/tools/parsing/antlr/2.7.7.nix {
jdk = jdk8; # todo: remove override https://github.com/nixos/nixpkgs/pull/89731
};
antlr3_4 = callPackage ../development/tools/parsing/antlr/3.4.nix { }; antlr3_4 = callPackage ../development/tools/parsing/antlr/3.4.nix {
antlr3_5 = callPackage ../development/tools/parsing/antlr/3.5.nix { }; jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
antlr3_5 = callPackage ../development/tools/parsing/antlr/3.5.nix {
jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
antlr3 = antlr3_5; antlr3 = antlr3_5;
antlr4_7 = callPackage ../development/tools/parsing/antlr/4.7.nix { }; antlr4_7 = callPackage ../development/tools/parsing/antlr/4.7.nix {
jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
};
antlr4 = antlr4_7; antlr4 = antlr4_7;
apacheAnt = callPackage ../development/tools/build-managers/apache-ant { }; apacheAnt = callPackage ../development/tools/build-managers/apache-ant { };