2017-11-27 09:13:12 +04:00
|
|
|
opam-version: "1.2"
|
|
|
|
version: "dev"
|
|
|
|
maintainer: "contact@tezos.com"
|
|
|
|
authors: [ "Tezos devteam" ]
|
|
|
|
homepage: "https://www.tezos.com/"
|
|
|
|
bug-reports: "https://gitlab.com/tezos/tezos/issues"
|
|
|
|
dev-repo: "https://gitlab.com/tezos/tezos.git"
|
|
|
|
license: "unreleased"
|
|
|
|
depends: [
|
|
|
|
"ocamlfind" { build }
|
2018-03-19 20:31:50 +04:00
|
|
|
"jbuilder" { build & = "1.0+beta19" }
|
2018-02-05 22:23:18 +04:00
|
|
|
"tezos-base"
|
2017-12-06 22:51:49 +04:00
|
|
|
"tezos-protocol-compiler"
|
2018-01-22 22:52:53 +04:00
|
|
|
"tezos-protocol-updater"
|
2017-11-27 09:13:12 +04:00
|
|
|
]
|
|
|
|
build: [
|
2017-12-06 22:51:49 +04:00
|
|
|
[ "rm" "jbuild" "src/jbuild" ]
|
|
|
|
[ "cp" "%{tezos-protocol-compiler:share}%/jbuild_embedded_protocol_template" "src/jbuild" ]
|
|
|
|
[ "sed" "-i" "s/let predefined_version = None/let predefined_version = Some \"alpha\"/" "src/jbuild" ]
|
2017-11-27 09:13:12 +04:00
|
|
|
[ "jbuilder" "build" "-p" name "-j" jobs ]
|
|
|
|
]
|
|
|
|
build-test: [
|
|
|
|
[ "jbuilder" "runtest" "-p" name "-j" jobs ]
|
|
|
|
]
|