diff --git a/src/lib_protocol_compiler/jbuild_protocol_template b/src/lib_protocol_compiler/jbuild_protocol_template index eb64bfa18..92cbc4f50 100644 --- a/src/lib_protocol_compiler/jbuild_protocol_template +++ b/src/lib_protocol_compiler/jbuild_protocol_template @@ -69,11 +69,6 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| -safe-string -nopervasives)) (modules (Functor)))) -(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)))) @@ -84,7 +79,6 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| (action (run bash ${libexec:tezos-stdlib:test-ocp-indent.sh} ${^})))) |} - version version version version - version version + version version version Format.(pp_print_list (fun ppf -> Format.fprintf ppf "%S")) sources