Jbuilder: do not depend on the git version anymore

This commit is contained in:
Grégoire Henry 2017-11-06 11:56:00 +01:00 committed by Grégoire
parent 48d7ba29e8
commit e21672c4ac
2 changed files with 2 additions and 3 deletions

View File

@ -20,7 +20,6 @@ opam pin --yes add --no-action --dev-repo sodium
opam pin --yes add --no-action --dev-repo ocp-ocamlres opam pin --yes add --no-action --dev-repo ocp-ocamlres
opam pin --yes add --no-action --dev-repo ocplib-json-typed opam pin --yes add --no-action --dev-repo ocplib-json-typed
opam pin --yes add --no-action --dev-repo ocplib-resto opam pin --yes add --no-action --dev-repo ocplib-resto
opam pin --yes add --no-action --dev-repo jbuilder
## Force opam to take account of the new `tezos-deps.opam` ## Force opam to take account of the new `tezos-deps.opam`
opam pin --yes remove tezos opam pin --yes remove tezos
opam pin --yes add --no-action tezos $src_dir opam pin --yes add --no-action tezos $src_dir

View File

@ -7,8 +7,8 @@ bug-reports: "https://gitlab.com/tezos/tezos/issues"
dev-repo: "https://gitlab.com/tezos/tezos.git" dev-repo: "https://gitlab.com/tezos/tezos.git"
license: "unreleased" license: "unreleased"
depends: [ depends: [
"ocamlfind" {build} "ocamlfind" { build }
"jbuilder" {build} "jbuilder" { build & >= "1.0+beta15" }
"base-bigarray" "base-bigarray"
"base-threads" "base-threads"
"conf-libev" "conf-libev"