1{ pkgs, src }:
 2
 3pkgs.runCommand "pinact"
 4  {
 5    inherit src;
 6    nativeBuildInputs = with pkgs; [ pinact ];
 7  }
 8  ''
 9    cd "$src"
10    pinact run --check --verify
11    touch "$out"
12  ''