colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnatprove: Rename spark2014

Browse Source 
Gnatprove is the tool distributed out of the spark2014 repository.
AdaCore, the developer behind it, distribute it under the name gnatprove
in the Ada alire package repository [0].
Rename the package to keep in line with other distribution channels.

[0] https://alire.ada.dev/crates/gnatprove
This commit is contained in:
Thomas Heijligen 2024-02-19 19:17:19 +00:00 committed by sternenseemann
parent abc4653068
commit c1b5933e79
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/ada/spark2014/default.nix → pkgs/development/libraries/ada/gnatprove/default.nix
View File

@ -10,7 +10,7 @@
}:
stdenv.mkDerivation rec {
pname = "spark2014";
pname = "gnatprove";
version = "unstable-2022-05-25";
src = fetchFromGitHub {

1
pkgs/top-level/aliases.nix
View File

@ -1016,6 +1016,7 @@ mapAliases ({
spark2 = throw "'spark2' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08
spark_2_4 = throw "'spark_2_4' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08
spark_3_1 = throw "'spark_3_1' is no longer supported nixpkgs, please use 'spark'"; # Added 2023-05-08
spark2014 = gnatprove; # Added 2024-02-25
# Added 2020-02-10
sourceHanSansPackages = {

8
pkgs/top-level/all-packages.nix
View File

@ -16075,6 +16075,10 @@ with pkgs;
bintools = bintoolsDualAs;
});
gnatprove = callPackage ../development/libraries/ada/gnatprove {
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
};
gnu-smalltalk = callPackage ../development/compilers/gnu-smalltalk { };
gccgo = wrapCC (gcc.cc.override {
@ -17930,10 +17934,6 @@ with pkgs;
sparkleshare = callPackage ../applications/version-management/sparkleshare { };
spark2014 = callPackage ../development/libraries/ada/spark2014 {
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
};
spidermonkey_78 = callPackage ../development/interpreters/spidermonkey/78.nix {
inherit (darwin) libobjc;
};