dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

spark2014: use OCaml 4.14

Browse Source
This commit is contained in:
Vincent Laporte 2024-01-10 06:39:06 +01:00 committed by Vincent Laporte
parent 4a6871de1e
commit 26b78cddf0
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/libraries/ada/spark2014/default.nix
View File

@ -5,7 +5,6 @@
, gnatcoll-core
, gprbuild
, python3
, ocaml
, ocamlPackages
, makeWrapper
}:
@ -27,7 +26,7 @@ stdenv.mkDerivation rec {
gnat12
gprbuild
python3
ocaml
ocamlPackages.ocaml
makeWrapper
];

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

@ -18033,7 +18033,9 @@ with pkgs;
sparkleshare = callPackage ../applications/version-management/sparkleshare { };
spark2014 = callPackage ../development/libraries/ada/spark2014 { };
spark2014 = callPackage ../development/libraries/ada/spark2014 {
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
};
spidermonkey_78 = callPackage ../development/interpreters/spidermonkey/78.nix {
inherit (darwin) libobjc;