From 7ee3edfb94e7c591726c8c71faeb4d413949eaa1 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Thu, 21 Dec 2023 13:23:12 +0100 Subject: [PATCH] add instructions for development version --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index ac326674e..acbb84837 100644 --- a/README.md +++ b/README.md @@ -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 git@github.com:OCamlPro/owi.git +$ cd owi +$ opam install . --deps-only +$ dune build -p owi @install +$ dune install +``` + ## Quickstart ### Concrete interpretation