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

(library
 (name tezos_protocol_environment_010_PtGRANAD)
 (public_name tezos-protocol-010-PtGRANAD.environment)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.tezos-protocol-environment)
 (library_flags (:standard -linkall))
 (modules Tezos_protocol_environment_010_PtGRANAD))

(rule
 (targets tezos_protocol_environment_010_PtGRANAD.ml)
 (action
  (write-file
   %{targets}
   "module Name = struct let name = \"010-PtGRANAD\" end\ninclude Tezos_protocol_environment.V2.Make(Name)()\n")))

(library
 (name tezos_raw_protocol_010_PtGRANAD)
 (public_name tezos-protocol-010-PtGRANAD.raw)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-010-PtGRANAD.environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nostdlib
  -nopervasives
  -open Tezos_protocol_environment_010_PtGRANAD
  -open Tezos_protocol_environment_010_PtGRANAD.Pervasives
  -open Tezos_protocol_environment_010_PtGRANAD.Error_monad)
 (modules
  Misc
  Storage_description
  State_hash
  Nonce_hash
  Script_expr_hash
  Contract_hash
  Blinded_public_key_hash
  Tez_repr
  Period_repr
  Time_repr
  Fixed_point_repr
  Saturation_repr
  Gas_limit_repr
  Constants_repr
  Fitness_repr
  Raw_level_repr
  Cycle_repr
  Level_repr
  Seed_repr
  Voting_period_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
  Sapling_repr
  Lazy_storage_kind
  Receipt_repr
  Migration_repr
  Raw_context_intf
  Raw_context
  Storage_costs
  Storage_sigs
  Storage_functors
  Storage
  Constants_storage
  Level_storage
  Nonce_storage
  Seed_storage
  Roll_storage
  Delegate_storage
  Sapling_storage
  Lazy_storage_diff
  Contract_storage
  Bootstrap_storage
  Fitness_storage
  Voting_period_storage
  Vote_storage
  Commitment_storage
  Fees_storage
  Liquidity_baking_repr
  Liquidity_baking_cpmm
  Liquidity_baking_lqt
  Liquidity_baking_migration
  Init_storage
  Sapling_validator
  Alpha_context
  Script_typed_ir
  Script_tc_errors
  Michelson_v1_gas
  Script_ir_annot
  Script_ir_translator
  Script_tc_errors_registration
  Script_interpreter_defs
  Script_interpreter
  Baking
  Amendment
  Apply_results
  Apply
  Services_registration
  Constants_services
  Sapling_services
  Contract_services
  Delegate_services
  Voting_services
  Alpha_services
  Main))

(library
 (name tezos_protocol_010_PtGRANAD)
 (public_name tezos-protocol-010-PtGRANAD)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.tezos-protocol-environment
  octez-libs.tezos-protocol-environment.sigs
  tezos-protocol-010-PtGRANAD.raw)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives)
 (modules Protocol Tezos_protocol_010_PtGRANAD))

(install
 (package tezos-protocol-010-PtGRANAD)
 (section lib)
 (files (TEZOS_PROTOCOL as raw/TEZOS_PROTOCOL)))

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

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

(rule
 (alias runtest_compile_protocol)
 (deps
  misc.ml misc.mli
  storage_description.ml storage_description.mli
  state_hash.ml state_hash.mli
  nonce_hash.ml nonce_hash.mli
  script_expr_hash.ml script_expr_hash.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  voting_period_repr.ml voting_period_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
  sapling_repr.ml
  lazy_storage_kind.ml lazy_storage_kind.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml constants_storage.mli
  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
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml fitness_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  fees_storage.ml fees_storage.mli
  liquidity_baking_repr.ml liquidity_baking_repr.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  init_storage.ml init_storage.mli
  sapling_validator.ml
  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_tc_errors_registration.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml apply.mli
  services_registration.ml services_registration.mli
  constants_services.ml constants_services.mli
  sapling_services.ml
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_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_010_PtGRANAD_lifted)
 (public_name tezos-protocol-010-PtGRANAD.lifted)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-libs.tezos-protocol-environment
  octez-libs.tezos-protocol-environment.sigs
  tezos-protocol-010-PtGRANAD)
 (flags
  (:standard)
  -w -6-7-9-16-29-32-51-68
  -nopervasives
  -open Tezos_protocol_010_PtGRANAD)
 (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_010_PtGRANAD_functor)
 (libraries
  octez-libs.tezos-protocol-environment
  octez-libs.tezos-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 state_hash.mli
  nonce_hash.ml nonce_hash.mli
  script_expr_hash.ml script_expr_hash.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  voting_period_repr.ml voting_period_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
  sapling_repr.ml
  lazy_storage_kind.ml lazy_storage_kind.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml constants_storage.mli
  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
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml fitness_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  fees_storage.ml fees_storage.mli
  liquidity_baking_repr.ml liquidity_baking_repr.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  init_storage.ml init_storage.mli
  sapling_validator.ml
  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_tc_errors_registration.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml apply.mli
  services_registration.ml services_registration.mli
  constants_services.ml constants_services.mli
  sapling_services.ml
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_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_010_PtGRANAD)
 (public_name tezos-embedded-protocol-010-PtGRANAD)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-010-PtGRANAD
  tezos-protocol-updater
  octez-libs.tezos-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 state_hash.mli
  nonce_hash.ml nonce_hash.mli
  script_expr_hash.ml script_expr_hash.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  tez_repr.ml tez_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  cycle_repr.ml cycle_repr.mli
  level_repr.ml level_repr.mli
  seed_repr.ml seed_repr.mli
  voting_period_repr.ml voting_period_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
  sapling_repr.ml
  lazy_storage_kind.ml lazy_storage_kind.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  constants_storage.ml constants_storage.mli
  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
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  contract_storage.ml contract_storage.mli
  bootstrap_storage.ml bootstrap_storage.mli
  fitness_storage.ml fitness_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  vote_storage.ml vote_storage.mli
  commitment_storage.ml commitment_storage.mli
  fees_storage.ml fees_storage.mli
  liquidity_baking_repr.ml liquidity_baking_repr.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  init_storage.ml init_storage.mli
  sapling_validator.ml
  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_tc_errors_registration.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  baking.ml baking.mli
  amendment.ml amendment.mli
  apply_results.ml apply_results.mli
  apply.ml apply.mli
  services_registration.ml services_registration.mli
  constants_services.ml constants_services.mli
  sapling_services.ml
  contract_services.ml contract_services.mli
  delegate_services.ml delegate_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} 010_PtGRANAD)))))