tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 dune-site,
5 fetchzip,
6 frama-c,
7 menhir,
8}:
9
10buildDunePackage (finalAttrs: {
11 pname = "lreplay";
12 version = "0.1.1";
13
14 src = fetchzip {
15 url = "https://git.frama-c.com/pub/ltest/lreplay/-/archive/${finalAttrs.version}/lreplay-${finalAttrs.version}.tar.bz2";
16 hash = "sha256-FSICl9x/uL4hMVFz5Ef7NYKATZDdtYY9DRU0AZKSDD8=";
17 };
18
19 nativeBuildInputs = [
20 menhir
21 ];
22
23 meta = {
24 description = "Lreplay plugin of Frama-C, part of the LTest suite";
25 homepage = "https://frama-c.com/fc-plugins/ltest.html";
26 license = lib.licenses.lgpl2;
27 maintainers = with lib.maintainers; [ redianthus ];
28 mainProgram = "lreplay";
29 };
30})