ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 22:44:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2024-03-29 19:05:28 -07:00
parent ac1702660b
commit 26e5de5bd9
2 changed files with 34 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/release.yml vendored
View File

@ -158,8 +158,8 @@ jobs:
- name: Build Leo - name: Build Leo
run: | run: |
SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) \ SDKROOT=$(xcrun -sdk macosx --show-sdk-path) \
MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx11.1 --show-sdk-platform-version) \ MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx --show-sdk-platform-version) \
cargo build -p leo-lang --release --target=aarch64-apple-darwin --features noconfig && strip target/aarch64-apple-darwin/release/leo cargo build -p leo-lang --release --target=aarch64-apple-darwin --features noconfig && strip target/aarch64-apple-darwin/release/leo
env: env:
CARGO_NET_GIT_FETCH_WITH_CLI: true CARGO_NET_GIT_FETCH_WITH_CLI: true

35
README.md
View File

@ -1,6 +1,6 @@
<p align="center"> <!--p align="center">
<img width="1412" src="https://cdn.aleo.org/leo/banner.png"> <img width="1412" src="https://cdn.aleo.org/leo/banner.png">
</p> </p-->
<h1 align="center">The Leo Programming Language</h1> <h1 align="center">The Leo Programming Language</h1>
@ -20,6 +20,8 @@ Leo is a functional, statically-typed programming language built for writing pri
* [⚙️️ Build Guide](#-build-guide) * [⚙️️ Build Guide](#-build-guide)
* [🦀 Install Rust](#-install-rust) * [🦀 Install Rust](#-install-rust)
* [🐙 Build from Source Code](#-build-from-source-code) * [🐙 Build from Source Code](#-build-from-source-code)
* [🦁 Update from Leo](#-update-from-leo)
* [📦 Download using Cargo](#-download-using-cargo)
* [🚀 Quick Start](#-quick-start) * [🚀 Quick Start](#-quick-start)
* [🧰 Troubleshooting](#-troubleshooting) * [🧰 Troubleshooting](#-troubleshooting)
* [📖 Documentation](#-documentation) * [📖 Documentation](#-documentation)
@ -78,6 +80,33 @@ Now to use leo, in your terminal, run:
leo leo
``` ```
### 🦁 Update from Leo
You can update Leo to the latest version using the following command:
```bash
leo update
```
Now to check the version of leo, in your terminal, run:
```bash
leo --version
```
### 📦 Download using Cargo
You can also install Leo directly from [crates.io](https://crates.io/crates/leo) using `cargo`:
```bash
cargo install leo-lang
```
Now to use leo, in your terminal, run:
```bash
leo
```
## 🚀 Quick Start ## 🚀 Quick Start
Use the Leo CLI to create a new project Use the Leo CLI to create a new project