opam-version: "2.0"
maintainer: "contact@tezos.com"
authors: [ "Tezos devteam" ]
homepage: "https://www.tezos.com/"
bug-reports: "https://gitlab.com/tezos/tezos/issues"
dev-repo: "git+https://gitlab.com/tezos/tezos.git"
license: "MIT"
depends: [
  "dune" { >= "2.0" }
  "tezos-rpc-http-server" { = version }
  "tezos-validator" { = version }
  "tezos-embedded-protocol-genesis-carthagenet" { = version }
  "tezos-embedded-protocol-000-Ps9mPmXa" { = version }
  "tezos-protocol-plugin-008-PtEdo2Zk-registerer" { = version }
  "tezos-protocol-plugin-009-PsFLoren-registerer" { = version }
  "cmdliner"
  "tls" { >= "0.10" < "0.11" } # remove the upper bond when the compatibility with hacl-star is restored
]
depopts: [
  "tezos-embedded-protocol-001-PtCJ7pwo"
  "tezos-embedded-protocol-002-PsYLVpVv"
  "tezos-embedded-protocol-003-PsddFKi3"
  "tezos-embedded-protocol-004-Pt24m4xi"
  "tezos-embedded-protocol-005-PsBABY5H"
  "tezos-embedded-protocol-005-PsBabyM1"
  "tezos-embedded-protocol-006-PsCARTHA"
  "tezos-embedded-protocol-007-PsDELPH1"
  "tezos-protocol-plugin-007-PsDELPH1-registerer"
  "tezos-embedded-protocol-008-PtEdoTez"
  "tezos-embedded-protocol-demo-counter"
  "tezos-embedded-protocol-alpha"
  "tezos-protocol-plugin-alpha-registerer"
  "tezos-embedded-protocol-demo-noops"
  "tezos-embedded-protocol-genesis"
]
conflicts: [
  "tezos-embedded-protocol-001-PtCJ7pwo" { != version }
  "tezos-embedded-protocol-002-PsYLVpVv" { != version }
  "tezos-embedded-protocol-003-PsddFKi3" { != version }
  "tezos-embedded-protocol-004-Pt24m4xi" { != version }
  "tezos-embedded-protocol-005-PsBABY5H" { != version }
  "tezos-embedded-protocol-005-PsBabyM1" { != version }
  "tezos-embedded-protocol-006-PsCARTHA" { != version }
  "tezos-embedded-protocol-007-PsDELPH1" { != version }
  "tezos-protocol-plugin-007-PsDELPH1-registerer" { != version }
  "tezos-embedded-protocol-008-PtEdoTez" { != version }
  "tezos-embedded-protocol-demo-counter" { != version }
  "tezos-embedded-protocol-alpha" { != version }
  "tezos-protocol-plugin-alpha-registerer" { != version }
  "tezos-embedded-protocol-demo-noops" { != version }
  "tezos-embedded-protocol-genesis" { != version }
]
build: [
  ["rm" "-r" "vendors"]
  ["dune" "build" "-p" name "-j" jobs]
  ["mv" "src/bin_node/%{name}%.install" "./"]
  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
synopsis: "Tezos: `tezos-node` binary"

url {
  src: "https://gitlab.com/tezos/tezos/-/archive/v9.0/tezos-v9.0.tar.bz2"
  checksum: [
    "sha256=aaa9fcc32b85ad7d2cf35549b40e55f72345f2fc67bd1ce8822e375b3f50a623"
    "sha512=3e9bb9c205a017940d5c538a8194a836a4cbc591fc48c26e8884abc2204d0283cd19a2ca7dbf9d476994e5443f2c21389d91ef7fec5febd0ac43fab77bb3159e"
  ]
}
