third_party/josh/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

# https://github.com/esrlabs/josh
{ depot, pkgs, ... }:

let
  gitSrc = pkgs.fetchFromGitHub {
    owner = "esrlabs";
    repo = "josh";
    rev = "1c1965deb0278de92452a597c092f16b531274ae";
    sha256 = "0a0ybx4dqr9gfcn1kqy2nirdsfbdwkfz24ljnri564c5381ccldw";
  };

  src = pkgs.applyPatches {
    name = "josh-src";
    src = gitSrc;
    patches = [
      ./pin-git2-rev.patch
    ];
  };
in depot.third_party.naersk.buildPackage {
  inherit src;

  buildInputs = with pkgs; [
    libgit2
    openssl
    pkgconfig
  ];

  cargoBuildOptions = x: x ++ [
    "-p" "josh"
    "-p" "josh-proxy"
    "-p" "josh-ui"
  ];
}