-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
31 lines (30 loc) · 1014 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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.7"}
"tezos-protocol-compiler" { = version }
]
build: [
["rm" "-r" "vendors"]
[
"sed" "-i.back" "-e" "s/-nostdlib//g"
"%{build}%/src/proto_009_PsFLoren/lib_protocol/dune.inc"
]
["dune" "build" "-p" name "-j" jobs]
["mv" "src/proto_009_PsFLoren/lib_protocol/%{name}%.install" "./"]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
synopsis: "Tezos/Protocol: economic-protocol definition"
available: false
url {
src: "https://gitlab.com/tezos/tezos/-/archive/v11.0/tezos-v11.0.tar.bz2"
checksum: [
"sha256=15e3e923f542d79f3aefe51a1f2c2a183b41a50caf8a1235566b3f44ff1c0aed"
"sha512=ae3eb81d0b7885a08ae492e95ec68af82b4009b3010df88e25f07c1d8660e5efc0d242f8fde8a518413396afc9b04fa360bcf9cb4d03f8f0a7b10a201a6cd2b2"
]
}