; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(library
 (name octez_protocol_compiler)
 (public_name octez-protocol-compiler)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  octez-libs.base.unix
  octez-proto-libs.protocol-environment.sigs
  octez-libs.stdlib-unix
  compiler-libs.common
  lwt.unix
  ocplib-ocamlres
  unix)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Tezos_base_unix
  -open Tezos_stdlib_unix)
 (modules
  Embedded_cmis_env
  Embedded_cmis_register
  Packer
  Compiler
  Defaults
  Protocol_compiler_env))

(rule
 (target protocol_compiler_env.ml)
 (action (copy compat_files/protocol_compiler_env_ocaml4.ml %{target}))
 (enabled_if (< %{ocaml_version} 5)))

(rule
 (target protocol_compiler_env.ml)
 (action (copy compat_files/protocol_compiler_env_ocaml5.ml %{target}))
 (enabled_if (>= %{ocaml_version} 5)))

(rule
 (targets embedded-interfaces-env)
 (deps (package octez-proto-libs))
 (action
  (with-stdout-to
   %{targets}
   (run
    bin/cmis_of_cma.exe
    %{lib:octez-proto-libs.protocol-environment.sigs:tezos_protocol_environment_sigs.cmxa}))))

(rule
 (targets embedded_cmis_env.ml)
 (deps (package octez-proto-libs))
 (action
  (run
   %{bin:ocp-ocamlres} -format variants -o %{targets}
   %{read-strings:embedded-interfaces-env})))

(rule
 (targets embedded_cmis_register.ml)
 (action
  (run
   %{bin:ocp-ocamlres} -format variants -o %{targets}
   %{cmi:registerer/tezos_protocol_registerer})))

(rule
 (targets defaults.ml)
 (action
  (write-file
   %{targets}
   "let warnings = \"+a-4-40..42-44-45-48-58-60-67-69-70\"")))

(library
 (name octez_protocol_compiler_native)
 (public_name octez-protocol-compiler.native)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.base
  octez-protocol-compiler
  compiler-libs.optcomp)
 (flags
  (:standard)
  -open Tezos_base.TzPervasives
  -open Octez_protocol_compiler)
 (modules Native))

(install
 (package octez-protocol-compiler)
 (section libexec)
 (files final_protocol_versions))