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

(library
 (name tezos_protocol_environment_000_Ps9mPmXa)
 (public_name tezos-protocol-000-Ps9mPmXa.protocol.environment)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (modules Tezos_protocol_environment_000_Ps9mPmXa))

(rule
 (targets tezos_protocol_environment_000_Ps9mPmXa.ml)
 (action
  (write-file
   %{targets}
   "module Name = struct let name = \"000-Ps9mPmXa\" end\ninclude Tezos_protocol_environment.V0.Make(Name)()\n")))

(library
 (name tezos_raw_protocol_000_Ps9mPmXa)
 (public_name tezos-protocol-000-Ps9mPmXa.protocol.raw)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-000-Ps9mPmXa.protocol.environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nostdlib
  -nopervasives
  -open Tezos_protocol_environment_000_Ps9mPmXa
  -open Tezos_protocol_environment_000_Ps9mPmXa.Pervasives
  -open Tezos_protocol_environment_000_Ps9mPmXa.Error_monad)
 (modules Data Services Main))

(library
 (name tezos_protocol_000_Ps9mPmXa)
 (public_name tezos-protocol-000-Ps9mPmXa.protocol)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs
  tezos-protocol-000-Ps9mPmXa.protocol.raw)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives)
 (modules Protocol Tezos_protocol_000_Ps9mPmXa))

(install
 (package tezos-protocol-000-Ps9mPmXa)
 (section lib)
 (files (TEZOS_PROTOCOL as protocol/raw/TEZOS_PROTOCOL)))

(rule
 (targets protocol.ml)
 (action
  (write-file
   %{targets}
   "\nlet hash = Tezos_crypto.Hashed.Protocol_hash.of_b58check_exn \"Ps9mPmXaRzmzk35gbAYNCAw6UXdE2qoABTHbN2oEEc1qM7CwT9P\"\nlet name = Tezos_protocol_environment_000_Ps9mPmXa.Name.name\ninclude Tezos_raw_protocol_000_Ps9mPmXa\ninclude Tezos_raw_protocol_000_Ps9mPmXa.Main\n")))

(rule
 (targets tezos_protocol_000_Ps9mPmXa.ml)
 (action
  (write-file
   %{targets}
   "\nmodule Environment = Tezos_protocol_environment_000_Ps9mPmXa\nmodule Protocol = Protocol\n")))

(rule
 (alias runtest_compile_protocol)
 (deps data.ml
       services.ml
       main.ml main.mli (:src_dir TEZOS_PROTOCOL))
 (action
  (run
   %{bin:octez-protocol-compiler}
   -warning -6-7-9-16-29-32-51-68
   -warn-error +a
   .)))

(library
 (name tezos_protocol_000_Ps9mPmXa_lifted)
 (public_name tezos-protocol-000-Ps9mPmXa.protocol.lifted)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs
  tezos-protocol-000-Ps9mPmXa.protocol)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives
  -open Tezos_protocol_000_Ps9mPmXa)
 (modules Lifted_protocol))

(rule
 (targets lifted_protocol.ml)
 (action
  (write-file
   %{targets}
   "\ninclude Environment.Lift (Protocol)\nlet hash = Protocol.hash\n")))

(library
 (name tezos_protocol_000_Ps9mPmXa_functor)
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives)
 (modules Functor))

(rule
 (targets functor.ml)
 (deps data.ml
       services.ml
       main.ml main.mli (:src_dir TEZOS_PROTOCOL))
 (action
  (with-stdout-to
   %{targets}
   (chdir
    %{workspace_root}
    (run %{bin:octez-protocol-compiler.octez-protocol-packer} %{src_dir})))))

(library
 (name tezos_embedded_protocol_000_Ps9mPmXa)
 (public_name tezos-protocol-000-Ps9mPmXa.embedded-protocol)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-000-Ps9mPmXa.protocol
  octez-shell-libs.protocol-updater
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68)
 (modules Registerer))

(rule
 (targets registerer.ml)
 (deps data.ml
       services.ml
       main.ml main.mli (:src_dir TEZOS_PROTOCOL))
 (action
  (with-stdout-to
   %{targets}
   (chdir
    %{workspace_root}
    (run %{bin:octez-embedded-protocol-packer} %{src_dir} 000_Ps9mPmXa)))))