2022-12-06 14:47:02 +01:00
|
|
|
# Nix helpers for projects under //tvix
|
2022-12-22 15:44:32 +01:00
|
|
|
{ pkgs, depot, ... }:
|
2022-12-06 14:47:02 +01:00
|
|
|
|
2023-01-06 18:20:44 +01:00
|
|
|
let
|
|
|
|
# crate override for crates that need protobuf
|
|
|
|
protobufDep = prev: (prev.nativeBuildInputs or [ ]) ++ [ pkgs.protobuf ];
|
2023-03-14 20:16:45 +01:00
|
|
|
|
|
|
|
# Cargo dependencies to be used with nixpkgs rustPlatform functions.
|
|
|
|
cargoDeps = pkgs.rustPlatform.importCargoLock {
|
|
|
|
lockFile = ./Cargo.lock;
|
|
|
|
outputHashes = {
|
|
|
|
"test-generator-0.3.0" = "08brp3qqa55hijc7xby3lam2cc84hvx1zzfqv6lj7smlczh8k32y";
|
|
|
|
"tonic-mock-0.1.0" = "0lwa03hpp0mxa6aa1zv5w68k61y4hccfm0q2ykyq392fwal8vb50";
|
|
|
|
"wu-manber-0.1.0" = "02byhfiw41mlgr1c43n2iq6jw5sbyn8l1acv5v71a07h5l18q0cy";
|
|
|
|
};
|
|
|
|
};
|
2023-01-06 18:20:44 +01:00
|
|
|
in
|
2022-12-06 14:47:02 +01:00
|
|
|
{
|
2022-12-07 12:05:02 +01:00
|
|
|
# Load the crate2nix crate tree.
|
|
|
|
crates = import ./Cargo.nix {
|
|
|
|
inherit pkgs;
|
|
|
|
nixpkgs = pkgs.path;
|
2023-01-06 18:20:44 +01:00
|
|
|
|
|
|
|
defaultCrateOverrides = pkgs.defaultCrateOverrides // {
|
2023-05-28 09:22:08 +02:00
|
|
|
fuser = prev: {
|
|
|
|
buildInputs = prev.buildInputs or [ ] ++ [ pkgs.fuse ];
|
|
|
|
nativeBuildInputs = prev.nativeBuildInputs or [ ] ++ [ pkgs.pkg-config ];
|
|
|
|
};
|
|
|
|
|
2023-01-06 18:20:44 +01:00
|
|
|
prost-build = prev: {
|
|
|
|
nativeBuildInputs = protobufDep prev;
|
|
|
|
};
|
|
|
|
|
|
|
|
tonic-reflection = prev: {
|
|
|
|
nativeBuildInputs = protobufDep prev;
|
|
|
|
};
|
|
|
|
|
|
|
|
tvix-store = prev: {
|
|
|
|
PROTO_ROOT = depot.tvix.store.protos;
|
|
|
|
nativeBuildInputs = protobufDep prev;
|
|
|
|
};
|
|
|
|
};
|
2022-12-07 12:05:02 +01:00
|
|
|
};
|
2022-12-08 14:55:47 +01:00
|
|
|
|
2022-12-22 15:44:32 +01:00
|
|
|
# Run crate2nix generate in the current working directory, then
|
|
|
|
# format the generated file with depotfmt.
|
|
|
|
crate2nixGenerate = pkgs.writeShellScriptBin "crate2nix-generate" ''
|
|
|
|
${pkgs.crate2nix}/bin/crate2nix generate
|
|
|
|
${depot.tools.depotfmt}/bin/depotfmt Cargo.nix
|
|
|
|
'';
|
|
|
|
|
2022-12-08 14:55:47 +01:00
|
|
|
# Provide a shell for the combined dependencies of all Tvix Rust
|
|
|
|
# projects. Note that as this is manually maintained it may be
|
|
|
|
# lacking something, but it is required for some people's workflows.
|
|
|
|
#
|
|
|
|
# This shell can be entered with e.g. `mg shell //tvix:shell`.
|
|
|
|
shell = pkgs.mkShell {
|
|
|
|
name = "tvix-rust-dev-env";
|
|
|
|
packages = [
|
|
|
|
pkgs.buf-language-server
|
|
|
|
pkgs.cargo
|
|
|
|
pkgs.clippy
|
2022-11-26 17:35:15 +01:00
|
|
|
pkgs.evans
|
2023-05-28 09:22:08 +02:00
|
|
|
pkgs.fuse
|
|
|
|
pkgs.pkg-config
|
2022-12-08 14:55:47 +01:00
|
|
|
pkgs.rust-analyzer
|
|
|
|
pkgs.rustc
|
|
|
|
pkgs.rustfmt
|
|
|
|
pkgs.protobuf
|
|
|
|
];
|
|
|
|
};
|
|
|
|
|
2023-03-14 20:16:45 +01:00
|
|
|
# Build the Rust documentation for publishing on docs.tvix.dev. Currently only
|
|
|
|
# some crates are documented, as the crates that depend on Protobuf cause
|
|
|
|
# build failures.
|
|
|
|
rust-docs = pkgs.stdenv.mkDerivation {
|
|
|
|
inherit cargoDeps;
|
|
|
|
name = "tvix-rust-docs";
|
|
|
|
src = depot.third_party.gitignoreSource ./.;
|
2023-03-14 22:20:27 +01:00
|
|
|
PROTO_ROOT = depot.tvix.store.protos;
|
2023-03-14 20:16:45 +01:00
|
|
|
|
2023-05-28 09:22:08 +02:00
|
|
|
buildInputs = [
|
|
|
|
pkgs.fuse
|
|
|
|
];
|
2023-03-14 20:16:45 +01:00
|
|
|
nativeBuildInputs = with pkgs; [
|
|
|
|
cargo
|
2023-05-28 09:22:08 +02:00
|
|
|
pkg-config
|
|
|
|
protobuf
|
2023-03-14 20:16:45 +01:00
|
|
|
rust-analyzer
|
|
|
|
rustc
|
2023-05-28 09:22:08 +02:00
|
|
|
rustPlatform.cargoSetupHook
|
2023-03-14 20:16:45 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
buildPhase = ''
|
2023-03-14 22:20:27 +01:00
|
|
|
cargo doc --document-private-items
|
2023-03-14 20:16:45 +01:00
|
|
|
mv target/doc $out
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2023-03-28 09:40:04 +02:00
|
|
|
meta.ci.targets = [ "shell" "rust-docs" ];
|
2022-12-06 14:47:02 +01:00
|
|
|
}
|