Unverified Commit f18c3af0 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

easycrypt: 2024.01 → 2024.09

parent 1924327c

pkgs/applications/science/logic/easycrypt/default.nix

+7 −5
Original line number Diff line number Diff line 
{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3, python3 }:

{ lib, stdenv, darwin, fetchFromGitHub, ocamlPackages, why3, python3 }:



stdenv.mkDerivation rec {

  pname = "easycrypt";

  version = "2024.01";

  version = "2024.09";



  src = fetchFromGitHub {

    owner = pname;

    repo = pname;

    rev = "r${version}";

    hash = "sha256-UYDoVMi5TtYxgPq5nkp/oRtcMcHl2p7KAG8ptvuOL5U=";

    hash = "sha256-ZGYklG1eXfytRKzFvRSB6jFrOCm1gjyG8W78eMve5Ng=";

  };



  nativeBuildInputs = with ocamlPackages; [
@@ -17,10 +17,12 @@ stdenv.mkDerivation rec { 
    menhir

    ocaml

    python3.pkgs.wrapPython

  ];

  ] ++ lib.optional stdenv.hostPlatform.isDarwin darwin.sigtool;



  buildInputs = with ocamlPackages; [

    batteries

    dune-build-info

    dune-site

    inifiles

    why3

    yojson
@@ -32,7 +34,7 @@ stdenv.mkDerivation rec { 
  strictDeps = true;



  postPatch = ''

    substituteInPlace dune-project --replace '(name easycrypt)' '(name easycrypt)(version ${version})'

    substituteInPlace dune-project --replace-fail '(name easycrypt)' '(name easycrypt)(version ${version})'

  '';



  pythonPath = with python3.pkgs; [ pyyaml ];