https://github.com/EasyCrypt/easycrypt
Revision cc3162972e4a3e08c8f6a19c7d3c4c5789959678 authored by François Dupressoir on 22 July 2022, 14:34:38 UTC, committed by Pierre-Yves Strub on 17 February 2023, 12:12:25 UTC
1 parent d401307
Tip revision: cc3162972e4a3e08c8f6a19c7d3c4c5789959678 authored by François Dupressoir on 22 July 2022, 14:34:38 UTC
[ci]: workflow to compile with nix
[ci]: workflow to compile with nix
Tip revision: cc31629
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
'';
}
Computing file changes ...