cloc.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{ pkgs ? import ./nixpkgs-pinned.nix {} }:
pkgs.stdenv.mkDerivation {
  name = "mininix-cloc";
  src = ./.;

  nativeBuildInputs = with pkgs; [ cloc jq ];

  buildPhase = ''
    bash cloc-rocq.sh > formalization-loc-report
  '';

  installPhase = ''
    mkdir -p $out
    cp formalization-loc-report $out/
  '';
}