Use leo-lang

This commit is contained in:
howardwu 2020-08-21 04:41:13 -07:00
parent 6436b6c736
commit 7461d560f2
3 changed files with 40 additions and 40 deletions

76
Cargo.lock generated
View File

@ -1203,44 +1203,6 @@ version = "1.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
[[package]]
name = "leo"
version = "1.0.0"
dependencies = [
"clap",
"colored",
"console",
"dirs",
"dotenv",
"env_logger",
"from-pest",
"lazy_static",
"leo-compiler",
"leo-gadgets",
"leo-input",
"leo-package",
"leo-state",
"log",
"notify",
"num-bigint",
"rand",
"rand_core",
"reqwest",
"rusty-hook",
"self_update",
"serde",
"serde_json",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-utilities",
"thiserror",
"toml",
"zip",
]
[[package]]
name = "leo-ast"
version = "1.0.0"
@ -1314,6 +1276,44 @@ dependencies = [
"thiserror",
]
[[package]]
name = "leo-lang"
version = "1.0.0"
dependencies = [
"clap",
"colored",
"console",
"dirs",
"dotenv",
"env_logger",
"from-pest",
"lazy_static",
"leo-compiler",
"leo-gadgets",
"leo-input",
"leo-package",
"leo-state",
"log",
"notify",
"num-bigint",
"rand",
"rand_core",
"reqwest",
"rusty-hook",
"self_update",
"serde",
"serde_json",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-utilities",
"thiserror",
"toml",
"zip",
]
[[package]]
name = "leo-liner"
version = "1.0.0"

View File

@ -1,5 +1,5 @@
[package]
name = "leo"
name = "leo-lang"
version = "1.0.0"
authors = ["The Aleo Team <hello@aleo.org>"]
description = "The Leo programming language"

View File

@ -58,7 +58,7 @@ We recommend installing Rust using [rustup](https://www.rustup.rs/). You can ins
We recommend installing Leo this way. In your terminal, run:
```bash
cargo install leo
cargo install leo-lang
```
Now to use Leo, in your terminal, run: