update repository
This commit is contained in:
parent
9b42256a9a
commit
21e0a0b7c4
BIN
index.tar.gz
BIN
index.tar.gz
Binary file not shown.
@ -15,7 +15,7 @@ depends: [
|
|||||||
build: [
|
build: [
|
||||||
[ "%{tezos-protocol-compiler:lib}%/replace"
|
[ "%{tezos-protocol-compiler:lib}%/replace"
|
||||||
"%{tezos-protocol-compiler:lib}%/dune_protocol.template"
|
"%{tezos-protocol-compiler:lib}%/dune_protocol.template"
|
||||||
"dune" "demo" ]
|
"src/proto_alpha/lib_protocol/dune" "demo" ]
|
||||||
[ "dune" "build" "-p" name "-j" jobs ]
|
[ "dune" "build" "-p" name "-j" jobs ]
|
||||||
[ "mv" "src/proto_demo/lib_protocol/tezos-protocol-demo.install" "." ]
|
[ "mv" "src/proto_demo/lib_protocol/tezos-protocol-demo.install" "." ]
|
||||||
]
|
]
|
||||||
|
2
repo
2
repo
@ -1,3 +1,3 @@
|
|||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
archive-mirrors: "cache"
|
archive-mirrors: "cache"
|
||||||
stamp: "79ad1b08"
|
stamp: "9b42256a"
|
||||||
|
Loading…
Reference in New Issue
Block a user