update repository

This commit is contained in:
Galfour 2019-05-13 19:24:21 +00:00
parent a989886f7f
commit 1e48437349
4 changed files with 5 additions and 5 deletions

Binary file not shown.

View File

@ -19,9 +19,9 @@ depends: [
"bip39" { with-test } "bip39" { with-test }
] ]
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"
"src/proto_alpha/lib_protocol/dune" "alpha" ] # "src/proto_alpha/lib_protocol/dune" "alpha" ]
[ "dune" "build" "-p" name "-j" jobs ] [ "dune" "build" "-p" name "-j" jobs ]
[ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ] [ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ]
] ]

2
repo
View File

@ -1,3 +1,3 @@
opam-version: "2.0" opam-version: "2.0"
archive-mirrors: "cache" archive-mirrors: "cache"
stamp: "21e0a0b7" stamp: "a989886f"

View File

@ -1 +1 @@
repo 4b86fe5af5a121007a16578ba0f8cecb 420 repo 604d7d8c5eb209596f929225538c2c3c 420