diff --git a/pkgs/development/ocaml-modules/lreplay/default.nix b/pkgs/development/ocaml-modules/lreplay/default.nix new file mode 100644 index 000000000000..b7d3786365ec --- /dev/null +++ b/pkgs/development/ocaml-modules/lreplay/default.nix @@ -0,0 +1,30 @@ +{ + lib, + buildDunePackage, + dune-site, + fetchzip, + frama-c, + menhir, +}: + +buildDunePackage (finalAttrs: { + pname = "lreplay"; + version = "0.1.1"; + + src = fetchzip { + url = "https://git.frama-c.com/pub/ltest/lreplay/-/archive/${finalAttrs.version}/lreplay-${finalAttrs.version}.tar.bz2"; + hash = "sha256-FSICl9x/uL4hMVFz5Ef7NYKATZDdtYY9DRU0AZKSDD8="; + }; + + nativeBuildInputs = [ + menhir + ]; + + meta = { + description = "Lreplay plugin of Frama-C, part of the LTest suite"; + homepage = "https://frama-c.com/fc-plugins/ltest.html"; + license = lib.licenses.lgpl2; + maintainers = with lib.maintainers; [ redianthus ]; + mainProgram = "lreplay"; + }; +}) diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 5bcdeeae5423..db0116e80d75 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1093,6 +1093,8 @@ let logs-syslog = callPackage ../development/ocaml-modules/logs-syslog { }; + lreplay = callPackage ../development/ocaml-modules/lreplay { }; + lru = callPackage ../development/ocaml-modules/lru { }; lsp = callPackage ../development/ocaml-modules/ocaml-lsp/lsp.nix { };