From 88f5a5fb4d2a658e1b890a6d34a126716d11abc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Thu, 8 Mar 2018 15:42:53 +0100
Subject: [PATCH] Opam: fix installation of the functorize protocol

---
 src/lib_protocol_compiler/jbuild_protocol_template | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

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