jbuild: fix installation of tezos-protocol-alpha

This commit is contained in:
Grégoire Henry 2018-01-30 12:36:32 +01:00
parent 4b142184fa
commit 8dcc5cefb5
2 changed files with 7 additions and 1 deletions

View File

@ -76,6 +76,11 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {|
(modes (native))
(modules (Tezos_protocol_%s_dummy))))
(install
((section lib)
(files ("tezos_protocol_%s.cmx" "tezos_protocol_%s.cmi"))
(package tezos-protocol-%s)))
(alias
((name runtest_sandbox)
(deps (tezos_protocol_%s.cmx))))
@ -88,6 +93,6 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {|
|}
version version version version version version version version
path
version version version
version version version version version version
Format.(pp_print_list (fun ppf -> Format.fprintf ppf "%S"))
sources

View File

@ -11,6 +11,7 @@ depends: [
"jbuilder" { build & >= "1.0+beta15" }
"tezos-base"
"tezos-micheline"
"tezos-protocol-environment-sigs"
]
build: [
[ "jbuilder" "build" "-p" name "-j" jobs ]