Skip to content

Commit

Permalink
add instructions for development version
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Dec 21, 2023
1 parent a15b2f4 commit 7ee3edf
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,18 @@ If you don't have `opam`, you can install it following the [how to install opam]

If you can't or don't want to use `opam`, you can build the package with `dune build -p owi @install` but you'll first have to install the dependencies by yourself. You can find the list of dependencies in the [dune-project] file.

### Development version

To get the development version:

```shell-session
$ git clone [email protected]:OCamlPro/owi.git
$ cd owi
$ opam install . --deps-only
$ dune build -p owi @install
$ dune install
```

## Quickstart

### Concrete interpretation
Expand Down

0 comments on commit 7ee3edf

Please sign in to comment.