chore(tvix/cli): rename binary to just 'tvix'

Change-Id: If735c81a04f60dcd77f1c40b595b52ed88bbbe95
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7580
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: flokli <flokli@flokli.de>
This commit is contained in:
Vincent Ambo 2022-12-12 21:40:29 +03:00 committed by tazjin
parent da7c331d2c
commit 8b3d03db92
2 changed files with 5 additions and 1 deletions

View file

@ -4204,7 +4204,7 @@ rec {
edition = "2021"; edition = "2021";
crateBin = [ crateBin = [
{ {
name = "tvix-cli"; name = "tvix";
path = "src/main.rs"; path = "src/main.rs";
requiredFeatures = [ ]; requiredFeatures = [ ];
} }

View file

@ -3,6 +3,10 @@ name = "tvix-cli"
version = "0.1.0" version = "0.1.0"
edition = "2021" edition = "2021"
[[bin]]
name = "tvix"
path = "src/main.rs"
[dependencies] [dependencies]
tvix-eval = { path = "../eval" } tvix-eval = { path = "../eval" }
rustyline = "10.0.0" rustyline = "10.0.0"