diff options
| author | Thomas Bauereiss | 2020-01-28 16:45:51 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-01-28 18:20:01 +0000 |
| commit | 6631de4f641607755ae8c0434921e4f68cf9f2f6 (patch) | |
| tree | 831b25b3e46c29b8ca87be7d25bab8b5fdd2ae16 /BUILDING.md | |
| parent | b564a217416afc8df471d3e97cff8168efd804b1 (diff) | |
Use external PPrint
Diffstat (limited to 'BUILDING.md')
| -rw-r--r-- | BUILDING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BUILDING.md b/BUILDING.md index 0eb0e19d..8df08e0b 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -67,6 +67,7 @@ depends: [ "conf-zlib" "base64" {< "3.0.0"} "yojson" + "pprint" ] ``` each of which can be installed using `opam install`. The `opam pin` command can be used to select a specific version of a dependency. @@ -133,4 +134,4 @@ the C backend tests will fail if valgrind isn't installed. ``` export SAIL_DIR=$PWD test/run_tests.sh -```
\ No newline at end of file +``` |