Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.3 kB · 76 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677{ lib, stdenv, buildDunePackage, ocaml, fetchFromGitHub, menhir, bos, cmdliner, dolmen_type, fpath, hc, menhirLib, # fix eval on legacy ocaml versions ocaml_intrinsics ? null, patricia-tree, prelude, scfg, yojson, z3, zarith, mdx, ounit2,}:
buildDunePackage rec { pname = "smtml"; version = "0.8.0";
src = fetchFromGitHub { owner = "formalsec"; repo = "smtml"; tag = "v${version}"; hash = "sha256-gmYyVUkwXBqGKGhp6Pqdf2PJafUJ1hF96WxOLq1h2f8="; };
nativeBuildInputs = [ menhir ];
propagatedBuildInputs = [ bos cmdliner dolmen_type fpath hc menhirLib ocaml_intrinsics patricia-tree prelude scfg yojson z3 zarith ];
checkInputs = [ mdx ounit2 ];
nativeCheckInputs = [ mdx.bin ];
doCheck = !(lib.versions.majorMinor ocaml.version == "5.0" || stdenv.hostPlatform.isDarwin);
meta = { description = "SMT solver frontend for OCaml"; homepage = "https://formalsec.github.io/smtml/smtml/"; downloadPage = "https://github.com/formalsec/smtml"; changelog = "https://github.com/formalsec/smtml/releases/tag/v${version}"; license = lib.licenses.mit; maintainers = [ lib.maintainers.ethancedwards8 ]; };}