Revision e422fcb07e3f2b54871c7686ce0c329db5b01397 authored by Pierre-Yves Strub on 24 July 2021, 17:58:50 UTC, committed by Pierre-Yves Strub on 24 July 2021, 18:01:36 UTC
 - search for substrings in the lemma's name:
     search /"foo"/

 - searching inside a specific theory
     search ... in T1, T2, ...

Ref #71
1 parent 512f0f2
Raw File
default.nix
with import <nixpkgs> {};

if !lib.versionAtLeast why3.version "1.4" then
  throw "please update your nixpkgs channel: nix-channel --update"
else
stdenv.mkDerivation {
  name = "easycrypt-1.0";
  src = ./.;
  buildInputs = [ why3 ]
    ++ (with ocamlPackages; [ ocaml findlib ocamlbuild batteries menhir menhirLib merlin zarith inifiles yojson])
    ;
  installFlags = [ "PREFIX=$(out)" ];
}
back to top