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

(library
 (name tezos_protocol_environment_003_PsddFKi3)
 (public_name tezos-protocol-003-PsddFKi3.protocol.environment)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (modules Tezos_protocol_environment_003_PsddFKi3))

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

(library
 (name tezos_raw_protocol_003_PsddFKi3)
 (public_name tezos-protocol-003-PsddFKi3.protocol.raw)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-003-PsddFKi3.protocol.environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nostdlib
  -nopervasives
  -open Tezos_protocol_environment_003_PsddFKi3
  -open Tezos_protocol_environment_003_PsddFKi3.Pervasives
  -open Tezos_protocol_environment_003_PsddFKi3.Error_monad)
 (modules
  Misc
  Storage_description
  State_hash
  Nonce_hash
  Script_expr_hash
  Contract_hash
  Blinded_public_key_hash
  Qty_repr
  Tez_repr
  Period_repr
  Time_repr
  Constants_repr
  Fitness_repr
  Raw_level_repr
  Voting_period_repr
  Cycle_repr
  Level_repr
  Seed_repr
  Gas_limit_repr
  Script_int_repr
  Script_timestamp_repr
  Michelson_v1_primitives
  Script_repr
  Contract_repr
  Roll_repr
  Vote_repr
  Block_header_repr
  Operation_repr
  Manager_repr
  Commitment_repr
  Parameters_repr
  Raw_context
  Storage_sigs
  Storage_functors
  Storage
  Constants_storage
  Level_storage
  Nonce_storage
  Seed_storage
  Roll_storage
  Delegate_storage
  Contract_storage
  Bootstrap_storage
  Fitness_storage
  Vote_storage
  Commitment_storage
  Init_storage
  Fees_storage
  Alpha_context
  Script_typed_ir
  Script_tc_errors
  Michelson_v1_gas
  Script_ir_annot
  Script_ir_translator
  Script_tc_errors_registration
  Script_interpreter
  Baking
  Amendment
  Apply_results
  Apply
  Services_registration
  Constants_services
  Contract_services
  Delegate_services
  Helpers_services
  Voting_services
  Alpha_services
  Main))

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

(install
 (package tezos-protocol-003-PsddFKi3)
 (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 \"PsddFKi32cMJ2qPjf43Qv5GDWLDPZb3T3bF6fLKiF5HtvHNU7aP\"\nlet name = Tezos_protocol_environment_003_PsddFKi3.Name.name\ninclude Tezos_raw_protocol_003_PsddFKi3\ninclude Tezos_raw_protocol_003_PsddFKi3.Main\n")))

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

(rule
 (alias runtest_compile_protocol)
 (deps
  misc.ml misc.mli
  storage_description.ml storage_description.mli
  state_hash.ml
  nonce_hash.ml
  script_expr_hash.ml
  contract_hash.ml
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  qty_repr.ml
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  constants_repr.ml
  fitness_repr.ml
  raw_level_repr.ml raw_level_repr.mli
  voting_period_repr.ml voting_period_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  script_int_repr.ml script_int_repr.mli
  script_timestamp_repr.ml script_timestamp_repr.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  script_repr.ml script_repr.mli
  contract_repr.ml contract_repr.mli
  roll_repr.ml roll_repr.mli
  vote_repr.ml vote_repr.mli
  block_header_repr.ml block_header_repr.mli
  operation_repr.ml operation_repr.mli
  manager_repr.ml manager_repr.mli
  commitment_repr.ml commitment_repr.mli
  parameters_repr.ml parameters_repr.mli
  raw_context.ml raw_context.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml
  level_storage.ml level_storage.mli
  nonce_storage.ml nonce_storage.mli
  seed_storage.ml seed_storage.mli
  roll_storage.ml roll_storage.mli
  delegate_storage.ml delegate_storage.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  init_storage.ml
  fees_storage.ml fees_storage.mli
  alpha_context.ml alpha_context.mli
  script_typed_ir.ml
  script_tc_errors.ml
  michelson_v1_gas.ml michelson_v1_gas.mli
  script_ir_annot.ml script_ir_annot.mli
  script_ir_translator.ml script_ir_translator.mli
  script_tc_errors_registration.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml
  services_registration.ml
  constants_services.ml constants_services.mli
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_services.mli
  helpers_services.ml helpers_services.mli
  voting_services.ml voting_services.mli
  alpha_services.ml alpha_services.mli
  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_003_PsddFKi3_lifted)
 (public_name tezos-protocol-003-PsddFKi3.protocol.lifted)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs
  tezos-protocol-003-PsddFKi3.protocol)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives
  -open Tezos_protocol_003_PsddFKi3)
 (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_003_PsddFKi3_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
  misc.ml misc.mli
  storage_description.ml storage_description.mli
  state_hash.ml
  nonce_hash.ml
  script_expr_hash.ml
  contract_hash.ml
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  qty_repr.ml
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  constants_repr.ml
  fitness_repr.ml
  raw_level_repr.ml raw_level_repr.mli
  voting_period_repr.ml voting_period_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  script_int_repr.ml script_int_repr.mli
  script_timestamp_repr.ml script_timestamp_repr.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  script_repr.ml script_repr.mli
  contract_repr.ml contract_repr.mli
  roll_repr.ml roll_repr.mli
  vote_repr.ml vote_repr.mli
  block_header_repr.ml block_header_repr.mli
  operation_repr.ml operation_repr.mli
  manager_repr.ml manager_repr.mli
  commitment_repr.ml commitment_repr.mli
  parameters_repr.ml parameters_repr.mli
  raw_context.ml raw_context.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml
  level_storage.ml level_storage.mli
  nonce_storage.ml nonce_storage.mli
  seed_storage.ml seed_storage.mli
  roll_storage.ml roll_storage.mli
  delegate_storage.ml delegate_storage.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  init_storage.ml
  fees_storage.ml fees_storage.mli
  alpha_context.ml alpha_context.mli
  script_typed_ir.ml
  script_tc_errors.ml
  michelson_v1_gas.ml michelson_v1_gas.mli
  script_ir_annot.ml script_ir_annot.mli
  script_ir_translator.ml script_ir_translator.mli
  script_tc_errors_registration.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml
  services_registration.ml
  constants_services.ml constants_services.mli
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_services.mli
  helpers_services.ml helpers_services.mli
  voting_services.ml voting_services.mli
  alpha_services.ml alpha_services.mli
  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_003_PsddFKi3)
 (public_name tezos-protocol-003-PsddFKi3.embedded-protocol)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-003-PsddFKi3.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
  misc.ml misc.mli
  storage_description.ml storage_description.mli
  state_hash.ml
  nonce_hash.ml
  script_expr_hash.ml
  contract_hash.ml
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  qty_repr.ml
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  constants_repr.ml
  fitness_repr.ml
  raw_level_repr.ml raw_level_repr.mli
  voting_period_repr.ml voting_period_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  script_int_repr.ml script_int_repr.mli
  script_timestamp_repr.ml script_timestamp_repr.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  script_repr.ml script_repr.mli
  contract_repr.ml contract_repr.mli
  roll_repr.ml roll_repr.mli
  vote_repr.ml vote_repr.mli
  block_header_repr.ml block_header_repr.mli
  operation_repr.ml operation_repr.mli
  manager_repr.ml manager_repr.mli
  commitment_repr.ml commitment_repr.mli
  parameters_repr.ml parameters_repr.mli
  raw_context.ml raw_context.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml
  level_storage.ml level_storage.mli
  nonce_storage.ml nonce_storage.mli
  seed_storage.ml seed_storage.mli
  roll_storage.ml roll_storage.mli
  delegate_storage.ml delegate_storage.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  init_storage.ml
  fees_storage.ml fees_storage.mli
  alpha_context.ml alpha_context.mli
  script_typed_ir.ml
  script_tc_errors.ml
  michelson_v1_gas.ml michelson_v1_gas.mli
  script_ir_annot.ml script_ir_annot.mli
  script_ir_translator.ml script_ir_translator.mli
  script_tc_errors_registration.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml
  services_registration.ml
  constants_services.ml constants_services.mli
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_services.mli
  helpers_services.ml helpers_services.mli
  voting_services.ml voting_services.mli
  alpha_services.ml alpha_services.mli
  main.ml main.mli (:src_dir TEZOS_PROTOCOL))
 (action
  (with-stdout-to
   %{targets}
   (chdir
    %{workspace_root}
    (run %{bin:octez-embedded-protocol-packer} %{src_dir} 003_PsddFKi3)))))