Skip to content

Commit

Permalink
Merge pull request #547 from Sipher/main
Browse files Browse the repository at this point in the history
Update README
  • Loading branch information
developedby authored Jun 5, 2024
2 parents 76b2429 + fb2b9b4 commit 7805e46
Show file tree
Hide file tree
Showing 3 changed files with 256 additions and 119 deletions.
41 changes: 33 additions & 8 deletions GUIDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,22 +22,47 @@ you just want to dive straight into action - this guide is for you. Let's go!

Installation
------------
### Install dependencies

To use Bend, first, install [Rust](https://www.rust-lang.org/tools/install). Then, install HVM2 and Bend itself with:
#### On Linux
```sh
# Install Rust if you haven't it already.
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

# For the C version of Bend, use GCC. We recommend a version up to 12.x.
sudo apt install gcc
```
cargo install hvm
cargo install bend-lang
```
For the CUDA runtime [install the CUDA toolkit for Linux](https://developer.nvidia.com/cuda-downloads?target_os=Linux) version 12.x.

To test if it worked, type:

#### On Mac
```sh
# Install Rust if you haven't it already.
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

# For the C version of Bend, use GCC. We recommend a version up to 12.x.
brew install gcc
```
bend --help


### Install Bend

1. Install HVM2 by running:
```sh
# HVM2 is HOC's massively parallel Interaction Combinator evaluator.
cargo install hvm

# This ensures HVM is correctly installed and accessible.
hvm --version
```
2. Install Bend by running:
```sh
# This command will install Bend
cargo install bend-lang

For GPU support, you also need the CUDA toolkit (CUDA and `nvcc`) version `12.X`. **It needs to be installed _before_ you install HVM.**
At the moment, **only Nvidia GPUs** are supported.
# This ensures Bend is correctly installed and accessible.
bend --version
```

Hello, World!
-------------
Expand Down
Loading

0 comments on commit 7805e46

Please sign in to comment.