From 84d8b46662d4484cce313318db9d141531db5f97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 22 Feb 2018 07:01:30 +0100 Subject: [PATCH] Jbuilder: fix concurrency issue --- src/lib_protocol_compiler/jbuild_protocol_template | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/lib_protocol_compiler/jbuild_protocol_template b/src/lib_protocol_compiler/jbuild_protocol_template index 9d3cdfd99..d9456fedd 100644 --- a/src/lib_protocol_compiler/jbuild_protocol_template +++ b/src/lib_protocol_compiler/jbuild_protocol_template @@ -55,9 +55,11 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| (rule ((targets (tezos_protocol_%s.cmo + tezos_protocol_%s.cmi tezos_protocol_%s_dummy_byte.ml)) (deps ((glob_files src/*.ml*) src/TEZOS_PROTOCOL)) + (locks (tezos_protocol_%s.cmi)) (action (with-stdout-to ${path-no-dep:tezos_protocol_%s_dummy_byte.ml} (chdir ${ROOT} (run ${bin:tezos-protocol-compiler-byte} -static -output-dep ${path-no-dep:tezos_protocol_%s} ${path-no-dep:src})))))) @@ -65,11 +67,11 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| (rule ((targets (tezos_protocol_%s.o tezos_protocol_%s.cmx - tezos_protocol_%s.cmi tezos_protocol_%s_dummy.ml)) (deps ((glob_files src/*.ml) (glob_files src/*.mli) src/TEZOS_PROTOCOL)) + (locks (tezos_protocol_%s.cmi)) (action (with-stdout-to ${path-no-dep:tezos_protocol_%s_dummy.ml} (chdir ${ROOT} (run ${bin:tezos-protocol-compiler} -static -output-dep ${path-no-dep:tezos_protocol_%s} ${path-no-dep:src})))))) @@ -110,6 +112,7 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| version version version version version version version version version version version version + version version path version version version version path version