Skip to main content

Browse the archive

Revision 9d5262df9b7c0359396ae6b4484377c92c702b6e authored by Christian Doczkal on 24 February 2023, 16:42:30 UTC, committed by Christian Doczkal on 24 February 2023, 17:17:05 UTC 
[theories]: p_max (maximum probability for atomic events)
1 parent ad13f30
Raw File
default.nix 
{ withProvers ? false, devDeps ? [] }:

with import <nixpkgs> {};

let provers =
  if withProvers then [
    alt-ergo
    z3
  ] else []; in

stdenv.mkDerivation {
  pname = "easycrypt";
  version = "git";
  src = ./.;

  buildInputs = [ git ] ++ (with ocamlPackages; [
    ocaml
    findlib
    batteries
    camlp-streams
    dune_3
    dune-build-info
    dune-site
    inifiles
    menhir
    menhirLib
    yojson
    why3
    zarith
  ]);

  propagatedBuildInputs = [ why3 ]
    ++ devDeps
    ++ provers;

  installPhase = ''
    runHook preInstall
    dune install --prefix $out -p $pname
    runHook postInstall
  '';
}
back to top