Skip to content
Permalink
Browse files

Update README.md

  • Loading branch information
cwgoes committed Nov 9, 2019
1 parent 628d882 commit 2b14f06ef275fab2ea59114118c5cd0a4ccceaa8
Showing with 11 additions and 4 deletions.
  1. +11 −4 README.md
@@ -42,27 +42,34 @@ See [CONTRIBUTING.md](./doc/CONTRIBUTING.md).

## Installation

Requirements for installing:
### Requirements

The following are required:

- [Stack](https://haskellstack.org)
- [z3](https://github.com/Z3Prover/z3) (this can be installed with `make build-z3`)
- [libff](https://github.com/scipr-lab/libff) (this can be installed with `make build-libff`)
- [LLVM9](https://llvm.org/)
- [LLVM9](https://llvm.org/) (you can likely install this with your package manager)

### Building

Build Juvix and install the binary to the local path with:

```bash
make
```

For full optimizations (but slower compile times):
### Building with optimisations

For full optimisations (but slower compile times):

```bash
make build-opt
```

## Usage

Juvix is not yet production-ready; however, you can play around with some functionality in an interactive REPL:
Juvix is not yet production-ready. You can play around with some functionality in an interactive REPL:

```bash
juvix interactive

0 comments on commit 2b14f06

Please sign in to comment.
You can’t perform that action at this time.