From c0fc5808f15a65fbafcba6768efa3e1a394d1932 Mon Sep 17 00:00:00 2001 From: AdrienChampion Date: Sat, 2 Mar 2019 18:55:24 +0100 Subject: [PATCH] dependency update in travis script and readme --- .travis.sh | 2 +- README.md | 2 +- docs/index.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.sh b/.travis.sh index e946fe9..069a8cb 100644 --- a/.travis.sh +++ b/.travis.sh @@ -28,7 +28,7 @@ opam switch create techelson 4.07.1 eval $(opam config env) opam update -opam install dune menhir zarith ptime +opam install dune menhir zarith ptime stdint opam --version diff --git a/README.md b/README.md index 7be686d..bdf1d5a 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ and run Techelson relies on the [dune] build system and a few other libraries: ```bash -> opam install dune menhir zarith ptime +> opam install dune menhir zarith ptime stdint ``` (This list of dependencies might be out-of-date. Check `.travis.sh` for the latest version.) Finally, build Techelson with `make`. The binary will be `./bin/techelson`. diff --git a/docs/index.md b/docs/index.md index 7be686d..bdf1d5a 100644 --- a/docs/index.md +++ b/docs/index.md @@ -37,7 +37,7 @@ and run Techelson relies on the [dune] build system and a few other libraries: ```bash -> opam install dune menhir zarith ptime +> opam install dune menhir zarith ptime stdint ``` (This list of dependencies might be out-of-date. Check `.travis.sh` for the latest version.) Finally, build Techelson with `make`. The binary will be `./bin/techelson`.