Skip to content

Commit

Permalink
README: Remove reference to Oasis build process
Browse files Browse the repository at this point in the history
  • Loading branch information
seliopou authored Mar 31, 2018
1 parent 4dca703 commit f677332
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -85,12 +85,11 @@ After this, you may install a development version of the library using the
install command as usual.

For building and running the tests during development, you will need to install
the `alcotest` package and reconfigure the build process to enable tests:
the `alcotest` package:

```bash
opam install alcotest
./configure --enable-tests
make && make test
make test
```

## License
Expand Down

0 comments on commit f677332

Please sign in to comment.