Unverified Commit 06b6a430 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

ocamlPackages.lambdapi: compatibility with cmdliner 2 (#494614)

parents 3dc5b692 e4e639ce

pkgs/development/ocaml-modules/lambdapi/default.nix

+9 −0
Original line number Diff line number Diff line 
{

  lib,

  fetchurl,

  fetchpatch,

  buildDunePackage,

  alcotest,

  dedukti,
@@ -28,6 +29,14 @@ buildDunePackage rec { 
    hash = "sha256-EGau0mGP2OakAMUUfb9V6pd86NP+LlGKxnhcZ3WhuL4=";

  };



  patches = [

    # Compatibility with cmdliner ≥ 2

    (fetchpatch {

      url = "https://github.com/Deducteam/lambdapi/commit/8e27c0f668915fbd49e32bdac246d6d515a64dd0.patch";

      hash = "sha256-9CkvH1o81T9LP+IPogKGhoiIDP76/nRfq59ttU7r0fI=";

    })

  ];



  nativeBuildInputs = [

    dream

    menhir

pkgs/top-level/ocaml-packages.nix

+0 −1
Original line number Diff line number Diff line
@@ -1064,7 +1064,6 @@ let 
        lambda-term = callPackage ../development/ocaml-modules/lambda-term { };



        lambdapi = callPackage ../development/ocaml-modules/lambdapi {

          cmdliner = cmdliner_1;

          why3 = pkgs.why3.override { ocamlPackages = self; };

        };