BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocamlPackages.lambdapi: use why3 built with the same version of OCaml

Browse source
This commit is contained in:
Vincent Laporte 2024-01-23 06:46:34 +01:00 committed by Vincent Laporte
parent e997629cea
commit b4c953947f
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/ocaml-modules/lambdapi/default.nix
View file

@ -19,8 +19,7 @@ buildDunePackage rec {
pname = "lambdapi";
version = "2.3.1";
minimalOCamlVersion = "4.08";
duneVersion = "3";
minimalOCamlVersion = "4.12";
src = fetchurl {
url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz";

4
pkgs/top-level/ocaml-packages.nix
View file

@ -922,7 +922,9 @@ let
lambda-term = callPackage ../development/ocaml-modules/lambda-term { };
lambdapi = callPackage ../development/ocaml-modules/lambdapi { };
lambdapi = callPackage ../development/ocaml-modules/lambdapi {
why3 = pkgs.why3.override { ocamlPackages = self; };
};
lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { };