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

(library
 (name tezos_protocol_environment_alpha)
 (public_name tezos-protocol-alpha.protocol.environment)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (modules Tezos_protocol_environment_alpha))

(rule
 (targets tezos_protocol_environment_alpha.ml)
 (action
  (write-file
   %{targets}
   "module Name = struct let name = \"alpha\" end\ninclude Tezos_protocol_environment.V12.Make(Name)()\n")))

(library
 (name tezos_raw_protocol_alpha)
 (public_name tezos-protocol-alpha.protocol.raw)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-alpha.protocol.environment)
 (library_flags (:standard -linkall))
 (flags
  (:standard)
  -nostdlib
  -nopervasives
  -open Tezos_protocol_environment_alpha
  -open Tezos_protocol_environment_alpha.Pervasives
  -open Tezos_protocol_environment_alpha.Error_monad)
 (modules
  Misc
  Non_empty_string
  Path_encoding
  Storage_description
  State_hash
  Nonce_hash
  Script_expr_hash
  Origination_nonce
  Contract_hash
  Blinded_public_key_hash
  Block_payload_hash
  Sc_rollup_reveal_hash
  Merkle_list
  Bitset
  Bounded_history_repr
  Context_binary_proof
  Misbehaviour
  Ratio_repr
  Int_percentage
  Michelson_v1_primitives
  Slot_repr
  Cycle_repr
  Tez_repr
  Deposits_repr
  Unstaked_frozen_deposits_repr
  Staking_pseudotoken_repr
  Period_repr
  Time_repr
  Round_repr
  Block_payload_repr
  Fixed_point_repr
  Saturation_repr
  Gas_limit_repr
  Raw_level_repr
  Issuance_bonus_repr
  Constants_parametric_repr
  Constants_parametric_previous_repr
  Constants_repr
  Fitness_repr
  Level_repr
  Script_repr_costs_generated
  Script_repr_costs
  Script_repr
  Cache_memory_helpers
  Seed_repr
  Sampler
  Voting_period_repr
  Ticket_hash_repr
  Manager_counter_repr
  Contract_repr
  Indexable
  Entrypoint_repr
  Dal_slot_index_repr
  Dal_slot_repr
  Dal_attestation_repr
  Michelson_v1_gas_costs_generated
  Michelson_v1_gas_costs
  Sc_rollup_repr
  Sc_rollup_metadata_repr
  Sc_rollup_dal_parameters_repr
  Sc_rollup_tick_repr
  Sc_rollup_inbox_message_repr
  Sc_rollup_inbox_merkelized_payload_hashes_repr
  Sc_rollup_whitelist_repr
  Sc_rollup_outbox_message_repr
  Sc_rollup_dissection_chunk_repr
  Sc_rollup_PVM_sig
  Sc_rollup_arith
  Sc_rollup_wasm
  Sc_rollup_riscv
  Sc_rollup_machine_no_proofs
  Sc_rollups
  Sc_rollup_data_version_sig
  Sc_rollup_inbox_repr
  Sc_rollup_staker_index_repr
  Sc_rollup_commitment_repr
  Sc_rollup_proof_repr
  Skip_list_costs_generated
  Skip_list_costs
  Sc_rollup_costs_generated
  Sc_rollup_costs
  Sc_rollup_game_repr
  Tx_rollup_l2_address
  Dal_errors_repr
  Dal_operations_repr
  Dal_costs_generated
  Dal_costs
  Zk_rollup_scalar
  Zk_rollup_repr
  Zk_rollup_state_repr
  Zk_rollup_account_repr
  Zk_rollup_ticket_repr
  Zk_rollup_operation_repr
  Zk_rollup_update_repr
  Zk_rollup_circuit_public_inputs_repr
  Bond_id_repr
  Vote_repr
  Votes_EMA_repr
  Per_block_votes_repr
  Block_header_repr
  Destination_repr
  Script_int
  Ticket_amount
  Operation_repr
  Manager_repr
  Commitment_repr
  Parameters_repr
  Sapling_repr
  Lazy_storage_kind
  Full_staking_balance_repr
  Unstaked_frozen_staker_repr
  Frozen_staker_repr
  Stake_repr
  Receipt_repr
  Migration_repr
  Carbonated_map_costs_generated
  Carbonated_map_costs
  Carbonated_map
  Staking_parameters_repr
  Denunciations_repr
  Raw_context_intf
  Raw_context
  Storage_costs_generated
  Storage_costs
  Storage_sigs
  Storage_functors
  Storage
  Global_constants_costs_generated
  Global_constants_costs
  Ticket_hash_builder
  Constants_storage
  Level_storage
  Nonce_storage
  Seed_storage
  Contract_manager_storage
  Delegate_activation_storage
  Sapling_storage_costs_generated
  Sapling_storage_costs
  Sapling_storage
  Lazy_storage_diff
  Commitment_storage
  Voting_period_storage
  Cache_repr_costs_generated
  Cache_repr_costs
  Cache_repr
  Zk_rollup_storage
  Stake_context
  Contract_delegate_storage
  Stake_storage
  Unstaked_frozen_deposits_storage
  Unstake_requests_storage
  Staking_pseudotokens_storage
  Contract_storage
  Token
  Fees_storage
  Adaptive_issuance_costs
  Adaptive_issuance_storage
  Delegate_staking_parameters
  Shared_stake
  Delegate_consensus_key
  Delegate_storage
  Delegate_sampler
  Delegate_rewards
  Delegate_missed_attestations_storage
  Forbidden_delegates_storage
  Delegate_slashed_deposits_storage
  Staking
  Delegate_cycles
  Vote_storage
  Ticket_storage
  Liquidity_baking_storage
  Liquidity_baking_cpmm
  Liquidity_baking_lqt
  Liquidity_baking_migration
  Sc_rollup_errors
  Sc_rollup_inbox_storage
  Legacy_script_patches
  Sapling_validator
  Global_constants_storage
  Sc_rollup_staker_index_storage
  Sc_rollup_commitment_storage
  Sc_rollup_outbox_storage
  Sc_rollup_whitelist_storage
  Sc_rollup_stake_storage
  Sc_rollup_storage
  Dal_slot_storage
  Sc_rollup_refutation_storage
  Zk_rollup_errors
  Bootstrap_storage
  Init_storage
  Destination_storage
  Alpha_context
  Script_string
  Script_timestamp
  Script_bytes
  Local_gas_counter
  Script_tc_errors
  Gas_monad
  Script_ir_annot
  Dependent_bool
  Script_list
  Script_typed_ir
  Script_comparable
  Gas_comparable_input_size
  Script_set
  Script_map
  Gas_input_size
  Script_typed_ir_size
  Script_typed_ir_size_costs_generated
  Script_typed_ir_size_costs
  Michelson_v1_gas
  Operation_costs
  Script_tc_context
  Ticket_token
  Ticket_receipt
  Apply_operation_result
  Apply_internal_results
  Apply_results
  Script_ir_translator_config
  Script_ir_unparser
  Script_ir_translator
  Script_big_map
  Script_cache
  Script_tc_errors_registration
  Ticket_token_unparser
  Ticket_costs_generated
  Ticket_costs
  Ticket_scanner
  Ticket_balance_key
  Ticket_lazy_storage_diff
  Zk_rollup_parameters
  Ticket_token_map
  Ticket_operations_diff
  Ticket_accounting
  Ticket_transfer
  Script_interpreter_defs
  Script_interpreter
  Sc_rollup_management_protocol
  Sc_rollup_operations
  Dal_apply
  Zk_rollup_apply
  Baking
  Validate_errors
  Amendment
  Validate
  Mempool_validation
  Apply
  Services_registration
  Constants_services
  Sapling_services
  Contract_services
  Delegate_services
  Voting_services
  Dal_services
  Adaptive_issuance_services
  Alpha_services
  Main))

(library
 (name tezos_protocol_alpha)
 (public_name tezos-protocol-alpha.protocol)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs
  tezos-protocol-alpha.protocol.raw)
 (flags
  (:standard)
  -nopervasives)
 (modules Protocol Tezos_protocol_alpha))

(install
 (package tezos-protocol-alpha)
 (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 \"ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK\"\nlet name = Tezos_protocol_environment_alpha.Name.name\ninclude Tezos_raw_protocol_alpha\ninclude Tezos_raw_protocol_alpha.Main\n")))

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

(rule
 (alias runtest_compile_protocol)
 (deps
  misc.ml misc.mli
  non_empty_string.ml non_empty_string.mli
  path_encoding.ml path_encoding.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
  origination_nonce.ml origination_nonce.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  block_payload_hash.ml block_payload_hash.mli
  sc_rollup_reveal_hash.ml sc_rollup_reveal_hash.mli
  merkle_list.ml merkle_list.mli
  bitset.ml bitset.mli
  bounded_history_repr.ml bounded_history_repr.mli
  context_binary_proof.ml context_binary_proof.mli
  misbehaviour.ml misbehaviour.mli
  ratio_repr.ml ratio_repr.mli
  int_percentage.ml int_percentage.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  slot_repr.ml slot_repr.mli
  cycle_repr.ml cycle_repr.mli
  tez_repr.ml tez_repr.mli
  deposits_repr.ml deposits_repr.mli
  unstaked_frozen_deposits_repr.ml unstaked_frozen_deposits_repr.mli
  staking_pseudotoken_repr.ml staking_pseudotoken_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  round_repr.ml round_repr.mli
  block_payload_repr.ml block_payload_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  issuance_bonus_repr.ml issuance_bonus_repr.mli
  constants_parametric_repr.ml constants_parametric_repr.mli
  constants_parametric_previous_repr.ml
  constants_parametric_previous_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  level_repr.ml level_repr.mli
  script_repr_costs_generated.ml
  script_repr_costs.ml
  script_repr.ml script_repr.mli
  cache_memory_helpers.ml
  seed_repr.ml seed_repr.mli
  sampler.ml sampler.mli
  voting_period_repr.ml voting_period_repr.mli
  ticket_hash_repr.ml ticket_hash_repr.mli
  manager_counter_repr.ml manager_counter_repr.mli
  contract_repr.ml contract_repr.mli
  indexable.ml indexable.mli
  entrypoint_repr.ml entrypoint_repr.mli
  dal_slot_index_repr.ml dal_slot_index_repr.mli
  dal_slot_repr.ml dal_slot_repr.mli
  dal_attestation_repr.ml dal_attestation_repr.mli
  michelson_v1_gas_costs_generated.ml
  michelson_v1_gas_costs.ml
  sc_rollup_repr.ml sc_rollup_repr.mli
  sc_rollup_metadata_repr.ml sc_rollup_metadata_repr.mli
  sc_rollup_dal_parameters_repr.ml sc_rollup_dal_parameters_repr.mli
  sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
  sc_rollup_inbox_message_repr.ml sc_rollup_inbox_message_repr.mli
  sc_rollup_inbox_merkelized_payload_hashes_repr.ml
  sc_rollup_inbox_merkelized_payload_hashes_repr.mli
  sc_rollup_whitelist_repr.ml sc_rollup_whitelist_repr.mli
  sc_rollup_outbox_message_repr.ml sc_rollup_outbox_message_repr.mli
  sc_rollup_dissection_chunk_repr.ml sc_rollup_dissection_chunk_repr.mli
  sc_rollup_PVM_sig.ml
  sc_rollup_arith.ml sc_rollup_arith.mli
  sc_rollup_wasm.ml sc_rollup_wasm.mli
  sc_rollup_riscv.ml sc_rollup_riscv.mli
  sc_rollup_machine_no_proofs.ml sc_rollup_machine_no_proofs.mli
  sc_rollups.ml sc_rollups.mli
  sc_rollup_data_version_sig.ml
  sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
  sc_rollup_staker_index_repr.ml sc_rollup_staker_index_repr.mli
  sc_rollup_commitment_repr.ml sc_rollup_commitment_repr.mli
  sc_rollup_proof_repr.ml sc_rollup_proof_repr.mli
  skip_list_costs_generated.ml
  skip_list_costs.ml skip_list_costs.mli
  sc_rollup_costs_generated.ml
  sc_rollup_costs.ml sc_rollup_costs.mli
  sc_rollup_game_repr.ml sc_rollup_game_repr.mli
  tx_rollup_l2_address.ml tx_rollup_l2_address.mli
  dal_errors_repr.ml
  dal_operations_repr.ml dal_operations_repr.mli
  dal_costs_generated.ml dal_costs_generated.mli
  dal_costs.ml
  zk_rollup_scalar.ml zk_rollup_scalar.mli
  zk_rollup_repr.ml zk_rollup_repr.mli
  zk_rollup_state_repr.ml zk_rollup_state_repr.mli
  zk_rollup_account_repr.ml zk_rollup_account_repr.mli
  zk_rollup_ticket_repr.ml zk_rollup_ticket_repr.mli
  zk_rollup_operation_repr.ml zk_rollup_operation_repr.mli
  zk_rollup_update_repr.ml zk_rollup_update_repr.mli
  zk_rollup_circuit_public_inputs_repr.ml
  zk_rollup_circuit_public_inputs_repr.mli
  bond_id_repr.ml bond_id_repr.mli
  vote_repr.ml vote_repr.mli
  votes_EMA_repr.ml votes_EMA_repr.mli
  per_block_votes_repr.ml per_block_votes_repr.mli
  block_header_repr.ml block_header_repr.mli
  destination_repr.ml destination_repr.mli
  script_int.ml script_int.mli
  ticket_amount.ml ticket_amount.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
  full_staking_balance_repr.ml full_staking_balance_repr.mli
  unstaked_frozen_staker_repr.ml unstaked_frozen_staker_repr.mli
  frozen_staker_repr.ml frozen_staker_repr.mli
  stake_repr.ml stake_repr.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  carbonated_map_costs_generated.ml
  carbonated_map_costs.ml carbonated_map_costs.mli
  carbonated_map.ml carbonated_map.mli
  staking_parameters_repr.ml staking_parameters_repr.mli
  denunciations_repr.ml denunciations_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs_generated.ml
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  global_constants_costs_generated.ml
  global_constants_costs.ml global_constants_costs.mli
  ticket_hash_builder.ml ticket_hash_builder.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
  contract_manager_storage.ml contract_manager_storage.mli
  delegate_activation_storage.ml delegate_activation_storage.mli
  sapling_storage_costs_generated.ml
  sapling_storage_costs.ml
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  commitment_storage.ml commitment_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  cache_repr_costs_generated.ml
  cache_repr_costs.ml
  cache_repr.ml cache_repr.mli
  zk_rollup_storage.ml zk_rollup_storage.mli
  stake_context.ml stake_context.mli
  contract_delegate_storage.ml contract_delegate_storage.mli
  stake_storage.ml stake_storage.mli
  unstaked_frozen_deposits_storage.ml unstaked_frozen_deposits_storage.mli
  unstake_requests_storage.ml unstake_requests_storage.mli
  staking_pseudotokens_storage.ml staking_pseudotokens_storage.mli
  contract_storage.ml contract_storage.mli
  token.ml token.mli
  fees_storage.ml fees_storage.mli
  adaptive_issuance_costs.ml adaptive_issuance_costs.mli
  adaptive_issuance_storage.ml adaptive_issuance_storage.mli
  delegate_staking_parameters.ml delegate_staking_parameters.mli
  shared_stake.ml shared_stake.mli
  delegate_consensus_key.ml delegate_consensus_key.mli
  delegate_storage.ml delegate_storage.mli
  delegate_sampler.ml delegate_sampler.mli
  delegate_rewards.ml delegate_rewards.mli
  delegate_missed_attestations_storage.ml
  delegate_missed_attestations_storage.mli
  forbidden_delegates_storage.ml forbidden_delegates_storage.mli
  delegate_slashed_deposits_storage.ml delegate_slashed_deposits_storage.mli
  staking.ml staking.mli
  delegate_cycles.ml delegate_cycles.mli
  vote_storage.ml vote_storage.mli
  ticket_storage.ml ticket_storage.mli
  liquidity_baking_storage.ml liquidity_baking_storage.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  sc_rollup_errors.ml
  sc_rollup_inbox_storage.ml sc_rollup_inbox_storage.mli
  legacy_script_patches.ml
  sapling_validator.ml
  global_constants_storage.ml global_constants_storage.mli
  sc_rollup_staker_index_storage.ml sc_rollup_staker_index_storage.mli
  sc_rollup_commitment_storage.ml sc_rollup_commitment_storage.mli
  sc_rollup_outbox_storage.ml sc_rollup_outbox_storage.mli
  sc_rollup_whitelist_storage.ml sc_rollup_whitelist_storage.mli
  sc_rollup_stake_storage.ml sc_rollup_stake_storage.mli
  sc_rollup_storage.ml sc_rollup_storage.mli
  dal_slot_storage.ml dal_slot_storage.mli
  sc_rollup_refutation_storage.ml sc_rollup_refutation_storage.mli
  zk_rollup_errors.ml
  bootstrap_storage.ml bootstrap_storage.mli
  init_storage.ml init_storage.mli
  destination_storage.ml destination_storage.mli
  alpha_context.ml alpha_context.mli
  script_string.ml script_string.mli
  script_timestamp.ml script_timestamp.mli
  script_bytes.ml script_bytes.mli
  local_gas_counter.ml local_gas_counter.mli
  script_tc_errors.ml
  gas_monad.ml gas_monad.mli
  script_ir_annot.ml script_ir_annot.mli
  dependent_bool.ml dependent_bool.mli
  script_list.ml script_list.mli
  script_typed_ir.ml script_typed_ir.mli
  script_comparable.ml script_comparable.mli
  gas_comparable_input_size.ml gas_comparable_input_size.mli
  script_set.ml script_set.mli
  script_map.ml script_map.mli
  gas_input_size.ml gas_input_size.mli
  script_typed_ir_size.ml script_typed_ir_size.mli
  script_typed_ir_size_costs_generated.ml
  script_typed_ir_size_costs.ml script_typed_ir_size_costs.mli
  michelson_v1_gas.ml michelson_v1_gas.mli
  operation_costs.ml operation_costs.mli
  script_tc_context.ml script_tc_context.mli
  ticket_token.ml ticket_token.mli
  ticket_receipt.ml ticket_receipt.mli
  apply_operation_result.ml apply_operation_result.mli
  apply_internal_results.ml apply_internal_results.mli
  apply_results.ml apply_results.mli
  script_ir_translator_config.ml
  script_ir_unparser.ml script_ir_unparser.mli
  script_ir_translator.ml script_ir_translator.mli
  script_big_map.ml script_big_map.mli
  script_cache.ml script_cache.mli
  script_tc_errors_registration.ml script_tc_errors_registration.mli
  ticket_token_unparser.ml ticket_token_unparser.mli
  ticket_costs_generated.ml
  ticket_costs.ml ticket_costs.mli
  ticket_scanner.ml ticket_scanner.mli
  ticket_balance_key.ml ticket_balance_key.mli
  ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
  zk_rollup_parameters.ml zk_rollup_parameters.mli
  ticket_token_map.ml ticket_token_map.mli
  ticket_operations_diff.ml ticket_operations_diff.mli
  ticket_accounting.ml ticket_accounting.mli
  ticket_transfer.ml ticket_transfer.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  sc_rollup_management_protocol.ml sc_rollup_management_protocol.mli
  sc_rollup_operations.ml sc_rollup_operations.mli
  dal_apply.ml dal_apply.mli
  zk_rollup_apply.ml zk_rollup_apply.mli
  baking.ml baking.mli
  validate_errors.ml validate_errors.mli
  amendment.ml amendment.mli
  validate.ml validate.mli
  mempool_validation.ml mempool_validation.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
  dal_services.ml dal_services.mli
  adaptive_issuance_services.ml adaptive_issuance_services.mli
  alpha_services.ml alpha_services.mli
  main.ml main.mli
  (:src_dir TEZOS_PROTOCOL))
 (action (run %{bin:octez-protocol-compiler} -no-hash-check -warn-error +a .)))

(library
 (name tezos_protocol_alpha_lifted)
 (public_name tezos-protocol-alpha.protocol.lifted)
 (instrumentation (backend bisect_ppx))
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs
  tezos-protocol-alpha.protocol)
 (flags
  (:standard)
  -nopervasives
  -open Tezos_protocol_alpha)
 (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_alpha_functor)
 (libraries
  octez-proto-libs.protocol-environment
  octez-proto-libs.protocol-environment.sigs)
 (flags
  (:standard)
  -nopervasives)
 (modules Functor))

(rule
 (targets functor.ml)
 (deps
  misc.ml misc.mli
  non_empty_string.ml non_empty_string.mli
  path_encoding.ml path_encoding.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
  origination_nonce.ml origination_nonce.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  block_payload_hash.ml block_payload_hash.mli
  sc_rollup_reveal_hash.ml sc_rollup_reveal_hash.mli
  merkle_list.ml merkle_list.mli
  bitset.ml bitset.mli
  bounded_history_repr.ml bounded_history_repr.mli
  context_binary_proof.ml context_binary_proof.mli
  misbehaviour.ml misbehaviour.mli
  ratio_repr.ml ratio_repr.mli
  int_percentage.ml int_percentage.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  slot_repr.ml slot_repr.mli
  cycle_repr.ml cycle_repr.mli
  tez_repr.ml tez_repr.mli
  deposits_repr.ml deposits_repr.mli
  unstaked_frozen_deposits_repr.ml unstaked_frozen_deposits_repr.mli
  staking_pseudotoken_repr.ml staking_pseudotoken_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  round_repr.ml round_repr.mli
  block_payload_repr.ml block_payload_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  issuance_bonus_repr.ml issuance_bonus_repr.mli
  constants_parametric_repr.ml constants_parametric_repr.mli
  constants_parametric_previous_repr.ml
  constants_parametric_previous_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  level_repr.ml level_repr.mli
  script_repr_costs_generated.ml
  script_repr_costs.ml
  script_repr.ml script_repr.mli
  cache_memory_helpers.ml
  seed_repr.ml seed_repr.mli
  sampler.ml sampler.mli
  voting_period_repr.ml voting_period_repr.mli
  ticket_hash_repr.ml ticket_hash_repr.mli
  manager_counter_repr.ml manager_counter_repr.mli
  contract_repr.ml contract_repr.mli
  indexable.ml indexable.mli
  entrypoint_repr.ml entrypoint_repr.mli
  dal_slot_index_repr.ml dal_slot_index_repr.mli
  dal_slot_repr.ml dal_slot_repr.mli
  dal_attestation_repr.ml dal_attestation_repr.mli
  michelson_v1_gas_costs_generated.ml
  michelson_v1_gas_costs.ml
  sc_rollup_repr.ml sc_rollup_repr.mli
  sc_rollup_metadata_repr.ml sc_rollup_metadata_repr.mli
  sc_rollup_dal_parameters_repr.ml sc_rollup_dal_parameters_repr.mli
  sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
  sc_rollup_inbox_message_repr.ml sc_rollup_inbox_message_repr.mli
  sc_rollup_inbox_merkelized_payload_hashes_repr.ml
  sc_rollup_inbox_merkelized_payload_hashes_repr.mli
  sc_rollup_whitelist_repr.ml sc_rollup_whitelist_repr.mli
  sc_rollup_outbox_message_repr.ml sc_rollup_outbox_message_repr.mli
  sc_rollup_dissection_chunk_repr.ml sc_rollup_dissection_chunk_repr.mli
  sc_rollup_PVM_sig.ml
  sc_rollup_arith.ml sc_rollup_arith.mli
  sc_rollup_wasm.ml sc_rollup_wasm.mli
  sc_rollup_riscv.ml sc_rollup_riscv.mli
  sc_rollup_machine_no_proofs.ml sc_rollup_machine_no_proofs.mli
  sc_rollups.ml sc_rollups.mli
  sc_rollup_data_version_sig.ml
  sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
  sc_rollup_staker_index_repr.ml sc_rollup_staker_index_repr.mli
  sc_rollup_commitment_repr.ml sc_rollup_commitment_repr.mli
  sc_rollup_proof_repr.ml sc_rollup_proof_repr.mli
  skip_list_costs_generated.ml
  skip_list_costs.ml skip_list_costs.mli
  sc_rollup_costs_generated.ml
  sc_rollup_costs.ml sc_rollup_costs.mli
  sc_rollup_game_repr.ml sc_rollup_game_repr.mli
  tx_rollup_l2_address.ml tx_rollup_l2_address.mli
  dal_errors_repr.ml
  dal_operations_repr.ml dal_operations_repr.mli
  dal_costs_generated.ml dal_costs_generated.mli
  dal_costs.ml
  zk_rollup_scalar.ml zk_rollup_scalar.mli
  zk_rollup_repr.ml zk_rollup_repr.mli
  zk_rollup_state_repr.ml zk_rollup_state_repr.mli
  zk_rollup_account_repr.ml zk_rollup_account_repr.mli
  zk_rollup_ticket_repr.ml zk_rollup_ticket_repr.mli
  zk_rollup_operation_repr.ml zk_rollup_operation_repr.mli
  zk_rollup_update_repr.ml zk_rollup_update_repr.mli
  zk_rollup_circuit_public_inputs_repr.ml
  zk_rollup_circuit_public_inputs_repr.mli
  bond_id_repr.ml bond_id_repr.mli
  vote_repr.ml vote_repr.mli
  votes_EMA_repr.ml votes_EMA_repr.mli
  per_block_votes_repr.ml per_block_votes_repr.mli
  block_header_repr.ml block_header_repr.mli
  destination_repr.ml destination_repr.mli
  script_int.ml script_int.mli
  ticket_amount.ml ticket_amount.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
  full_staking_balance_repr.ml full_staking_balance_repr.mli
  unstaked_frozen_staker_repr.ml unstaked_frozen_staker_repr.mli
  frozen_staker_repr.ml frozen_staker_repr.mli
  stake_repr.ml stake_repr.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  carbonated_map_costs_generated.ml
  carbonated_map_costs.ml carbonated_map_costs.mli
  carbonated_map.ml carbonated_map.mli
  staking_parameters_repr.ml staking_parameters_repr.mli
  denunciations_repr.ml denunciations_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs_generated.ml
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  global_constants_costs_generated.ml
  global_constants_costs.ml global_constants_costs.mli
  ticket_hash_builder.ml ticket_hash_builder.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
  contract_manager_storage.ml contract_manager_storage.mli
  delegate_activation_storage.ml delegate_activation_storage.mli
  sapling_storage_costs_generated.ml
  sapling_storage_costs.ml
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  commitment_storage.ml commitment_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  cache_repr_costs_generated.ml
  cache_repr_costs.ml
  cache_repr.ml cache_repr.mli
  zk_rollup_storage.ml zk_rollup_storage.mli
  stake_context.ml stake_context.mli
  contract_delegate_storage.ml contract_delegate_storage.mli
  stake_storage.ml stake_storage.mli
  unstaked_frozen_deposits_storage.ml unstaked_frozen_deposits_storage.mli
  unstake_requests_storage.ml unstake_requests_storage.mli
  staking_pseudotokens_storage.ml staking_pseudotokens_storage.mli
  contract_storage.ml contract_storage.mli
  token.ml token.mli
  fees_storage.ml fees_storage.mli
  adaptive_issuance_costs.ml adaptive_issuance_costs.mli
  adaptive_issuance_storage.ml adaptive_issuance_storage.mli
  delegate_staking_parameters.ml delegate_staking_parameters.mli
  shared_stake.ml shared_stake.mli
  delegate_consensus_key.ml delegate_consensus_key.mli
  delegate_storage.ml delegate_storage.mli
  delegate_sampler.ml delegate_sampler.mli
  delegate_rewards.ml delegate_rewards.mli
  delegate_missed_attestations_storage.ml
  delegate_missed_attestations_storage.mli
  forbidden_delegates_storage.ml forbidden_delegates_storage.mli
  delegate_slashed_deposits_storage.ml delegate_slashed_deposits_storage.mli
  staking.ml staking.mli
  delegate_cycles.ml delegate_cycles.mli
  vote_storage.ml vote_storage.mli
  ticket_storage.ml ticket_storage.mli
  liquidity_baking_storage.ml liquidity_baking_storage.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  sc_rollup_errors.ml
  sc_rollup_inbox_storage.ml sc_rollup_inbox_storage.mli
  legacy_script_patches.ml
  sapling_validator.ml
  global_constants_storage.ml global_constants_storage.mli
  sc_rollup_staker_index_storage.ml sc_rollup_staker_index_storage.mli
  sc_rollup_commitment_storage.ml sc_rollup_commitment_storage.mli
  sc_rollup_outbox_storage.ml sc_rollup_outbox_storage.mli
  sc_rollup_whitelist_storage.ml sc_rollup_whitelist_storage.mli
  sc_rollup_stake_storage.ml sc_rollup_stake_storage.mli
  sc_rollup_storage.ml sc_rollup_storage.mli
  dal_slot_storage.ml dal_slot_storage.mli
  sc_rollup_refutation_storage.ml sc_rollup_refutation_storage.mli
  zk_rollup_errors.ml
  bootstrap_storage.ml bootstrap_storage.mli
  init_storage.ml init_storage.mli
  destination_storage.ml destination_storage.mli
  alpha_context.ml alpha_context.mli
  script_string.ml script_string.mli
  script_timestamp.ml script_timestamp.mli
  script_bytes.ml script_bytes.mli
  local_gas_counter.ml local_gas_counter.mli
  script_tc_errors.ml
  gas_monad.ml gas_monad.mli
  script_ir_annot.ml script_ir_annot.mli
  dependent_bool.ml dependent_bool.mli
  script_list.ml script_list.mli
  script_typed_ir.ml script_typed_ir.mli
  script_comparable.ml script_comparable.mli
  gas_comparable_input_size.ml gas_comparable_input_size.mli
  script_set.ml script_set.mli
  script_map.ml script_map.mli
  gas_input_size.ml gas_input_size.mli
  script_typed_ir_size.ml script_typed_ir_size.mli
  script_typed_ir_size_costs_generated.ml
  script_typed_ir_size_costs.ml script_typed_ir_size_costs.mli
  michelson_v1_gas.ml michelson_v1_gas.mli
  operation_costs.ml operation_costs.mli
  script_tc_context.ml script_tc_context.mli
  ticket_token.ml ticket_token.mli
  ticket_receipt.ml ticket_receipt.mli
  apply_operation_result.ml apply_operation_result.mli
  apply_internal_results.ml apply_internal_results.mli
  apply_results.ml apply_results.mli
  script_ir_translator_config.ml
  script_ir_unparser.ml script_ir_unparser.mli
  script_ir_translator.ml script_ir_translator.mli
  script_big_map.ml script_big_map.mli
  script_cache.ml script_cache.mli
  script_tc_errors_registration.ml script_tc_errors_registration.mli
  ticket_token_unparser.ml ticket_token_unparser.mli
  ticket_costs_generated.ml
  ticket_costs.ml ticket_costs.mli
  ticket_scanner.ml ticket_scanner.mli
  ticket_balance_key.ml ticket_balance_key.mli
  ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
  zk_rollup_parameters.ml zk_rollup_parameters.mli
  ticket_token_map.ml ticket_token_map.mli
  ticket_operations_diff.ml ticket_operations_diff.mli
  ticket_accounting.ml ticket_accounting.mli
  ticket_transfer.ml ticket_transfer.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  sc_rollup_management_protocol.ml sc_rollup_management_protocol.mli
  sc_rollup_operations.ml sc_rollup_operations.mli
  dal_apply.ml dal_apply.mli
  zk_rollup_apply.ml zk_rollup_apply.mli
  baking.ml baking.mli
  validate_errors.ml validate_errors.mli
  amendment.ml amendment.mli
  validate.ml validate.mli
  mempool_validation.ml mempool_validation.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
  dal_services.ml dal_services.mli
  adaptive_issuance_services.ml adaptive_issuance_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_alpha)
 (public_name tezos-protocol-alpha.embedded-protocol)
 (instrumentation (backend bisect_ppx))
 (libraries
  tezos-protocol-alpha.protocol
  octez-shell-libs.protocol-updater
  octez-proto-libs.protocol-environment)
 (library_flags (:standard -linkall))
 (modules Registerer))

(rule
 (targets registerer.ml)
 (deps
  misc.ml misc.mli
  non_empty_string.ml non_empty_string.mli
  path_encoding.ml path_encoding.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
  origination_nonce.ml origination_nonce.mli
  contract_hash.ml contract_hash.mli
  blinded_public_key_hash.ml blinded_public_key_hash.mli
  block_payload_hash.ml block_payload_hash.mli
  sc_rollup_reveal_hash.ml sc_rollup_reveal_hash.mli
  merkle_list.ml merkle_list.mli
  bitset.ml bitset.mli
  bounded_history_repr.ml bounded_history_repr.mli
  context_binary_proof.ml context_binary_proof.mli
  misbehaviour.ml misbehaviour.mli
  ratio_repr.ml ratio_repr.mli
  int_percentage.ml int_percentage.mli
  michelson_v1_primitives.ml michelson_v1_primitives.mli
  slot_repr.ml slot_repr.mli
  cycle_repr.ml cycle_repr.mli
  tez_repr.ml tez_repr.mli
  deposits_repr.ml deposits_repr.mli
  unstaked_frozen_deposits_repr.ml unstaked_frozen_deposits_repr.mli
  staking_pseudotoken_repr.ml staking_pseudotoken_repr.mli
  period_repr.ml period_repr.mli
  time_repr.ml time_repr.mli
  round_repr.ml round_repr.mli
  block_payload_repr.ml block_payload_repr.mli
  fixed_point_repr.ml fixed_point_repr.mli
  saturation_repr.ml saturation_repr.mli
  gas_limit_repr.ml gas_limit_repr.mli
  raw_level_repr.ml raw_level_repr.mli
  issuance_bonus_repr.ml issuance_bonus_repr.mli
  constants_parametric_repr.ml constants_parametric_repr.mli
  constants_parametric_previous_repr.ml
  constants_parametric_previous_repr.mli
  constants_repr.ml constants_repr.mli
  fitness_repr.ml fitness_repr.mli
  level_repr.ml level_repr.mli
  script_repr_costs_generated.ml
  script_repr_costs.ml
  script_repr.ml script_repr.mli
  cache_memory_helpers.ml
  seed_repr.ml seed_repr.mli
  sampler.ml sampler.mli
  voting_period_repr.ml voting_period_repr.mli
  ticket_hash_repr.ml ticket_hash_repr.mli
  manager_counter_repr.ml manager_counter_repr.mli
  contract_repr.ml contract_repr.mli
  indexable.ml indexable.mli
  entrypoint_repr.ml entrypoint_repr.mli
  dal_slot_index_repr.ml dal_slot_index_repr.mli
  dal_slot_repr.ml dal_slot_repr.mli
  dal_attestation_repr.ml dal_attestation_repr.mli
  michelson_v1_gas_costs_generated.ml
  michelson_v1_gas_costs.ml
  sc_rollup_repr.ml sc_rollup_repr.mli
  sc_rollup_metadata_repr.ml sc_rollup_metadata_repr.mli
  sc_rollup_dal_parameters_repr.ml sc_rollup_dal_parameters_repr.mli
  sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
  sc_rollup_inbox_message_repr.ml sc_rollup_inbox_message_repr.mli
  sc_rollup_inbox_merkelized_payload_hashes_repr.ml
  sc_rollup_inbox_merkelized_payload_hashes_repr.mli
  sc_rollup_whitelist_repr.ml sc_rollup_whitelist_repr.mli
  sc_rollup_outbox_message_repr.ml sc_rollup_outbox_message_repr.mli
  sc_rollup_dissection_chunk_repr.ml sc_rollup_dissection_chunk_repr.mli
  sc_rollup_PVM_sig.ml
  sc_rollup_arith.ml sc_rollup_arith.mli
  sc_rollup_wasm.ml sc_rollup_wasm.mli
  sc_rollup_riscv.ml sc_rollup_riscv.mli
  sc_rollup_machine_no_proofs.ml sc_rollup_machine_no_proofs.mli
  sc_rollups.ml sc_rollups.mli
  sc_rollup_data_version_sig.ml
  sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
  sc_rollup_staker_index_repr.ml sc_rollup_staker_index_repr.mli
  sc_rollup_commitment_repr.ml sc_rollup_commitment_repr.mli
  sc_rollup_proof_repr.ml sc_rollup_proof_repr.mli
  skip_list_costs_generated.ml
  skip_list_costs.ml skip_list_costs.mli
  sc_rollup_costs_generated.ml
  sc_rollup_costs.ml sc_rollup_costs.mli
  sc_rollup_game_repr.ml sc_rollup_game_repr.mli
  tx_rollup_l2_address.ml tx_rollup_l2_address.mli
  dal_errors_repr.ml
  dal_operations_repr.ml dal_operations_repr.mli
  dal_costs_generated.ml dal_costs_generated.mli
  dal_costs.ml
  zk_rollup_scalar.ml zk_rollup_scalar.mli
  zk_rollup_repr.ml zk_rollup_repr.mli
  zk_rollup_state_repr.ml zk_rollup_state_repr.mli
  zk_rollup_account_repr.ml zk_rollup_account_repr.mli
  zk_rollup_ticket_repr.ml zk_rollup_ticket_repr.mli
  zk_rollup_operation_repr.ml zk_rollup_operation_repr.mli
  zk_rollup_update_repr.ml zk_rollup_update_repr.mli
  zk_rollup_circuit_public_inputs_repr.ml
  zk_rollup_circuit_public_inputs_repr.mli
  bond_id_repr.ml bond_id_repr.mli
  vote_repr.ml vote_repr.mli
  votes_EMA_repr.ml votes_EMA_repr.mli
  per_block_votes_repr.ml per_block_votes_repr.mli
  block_header_repr.ml block_header_repr.mli
  destination_repr.ml destination_repr.mli
  script_int.ml script_int.mli
  ticket_amount.ml ticket_amount.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
  full_staking_balance_repr.ml full_staking_balance_repr.mli
  unstaked_frozen_staker_repr.ml unstaked_frozen_staker_repr.mli
  frozen_staker_repr.ml frozen_staker_repr.mli
  stake_repr.ml stake_repr.mli
  receipt_repr.ml receipt_repr.mli
  migration_repr.ml migration_repr.mli
  carbonated_map_costs_generated.ml
  carbonated_map_costs.ml carbonated_map_costs.mli
  carbonated_map.ml carbonated_map.mli
  staking_parameters_repr.ml staking_parameters_repr.mli
  denunciations_repr.ml denunciations_repr.mli
  raw_context_intf.ml
  raw_context.ml raw_context.mli
  storage_costs_generated.ml
  storage_costs.ml storage_costs.mli
  storage_sigs.ml
  storage_functors.ml storage_functors.mli
  storage.ml storage.mli
  global_constants_costs_generated.ml
  global_constants_costs.ml global_constants_costs.mli
  ticket_hash_builder.ml ticket_hash_builder.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
  contract_manager_storage.ml contract_manager_storage.mli
  delegate_activation_storage.ml delegate_activation_storage.mli
  sapling_storage_costs_generated.ml
  sapling_storage_costs.ml
  sapling_storage.ml
  lazy_storage_diff.ml lazy_storage_diff.mli
  commitment_storage.ml commitment_storage.mli
  voting_period_storage.ml voting_period_storage.mli
  cache_repr_costs_generated.ml
  cache_repr_costs.ml
  cache_repr.ml cache_repr.mli
  zk_rollup_storage.ml zk_rollup_storage.mli
  stake_context.ml stake_context.mli
  contract_delegate_storage.ml contract_delegate_storage.mli
  stake_storage.ml stake_storage.mli
  unstaked_frozen_deposits_storage.ml unstaked_frozen_deposits_storage.mli
  unstake_requests_storage.ml unstake_requests_storage.mli
  staking_pseudotokens_storage.ml staking_pseudotokens_storage.mli
  contract_storage.ml contract_storage.mli
  token.ml token.mli
  fees_storage.ml fees_storage.mli
  adaptive_issuance_costs.ml adaptive_issuance_costs.mli
  adaptive_issuance_storage.ml adaptive_issuance_storage.mli
  delegate_staking_parameters.ml delegate_staking_parameters.mli
  shared_stake.ml shared_stake.mli
  delegate_consensus_key.ml delegate_consensus_key.mli
  delegate_storage.ml delegate_storage.mli
  delegate_sampler.ml delegate_sampler.mli
  delegate_rewards.ml delegate_rewards.mli
  delegate_missed_attestations_storage.ml
  delegate_missed_attestations_storage.mli
  forbidden_delegates_storage.ml forbidden_delegates_storage.mli
  delegate_slashed_deposits_storage.ml delegate_slashed_deposits_storage.mli
  staking.ml staking.mli
  delegate_cycles.ml delegate_cycles.mli
  vote_storage.ml vote_storage.mli
  ticket_storage.ml ticket_storage.mli
  liquidity_baking_storage.ml liquidity_baking_storage.mli
  liquidity_baking_cpmm.ml
  liquidity_baking_lqt.ml
  liquidity_baking_migration.ml liquidity_baking_migration.mli
  sc_rollup_errors.ml
  sc_rollup_inbox_storage.ml sc_rollup_inbox_storage.mli
  legacy_script_patches.ml
  sapling_validator.ml
  global_constants_storage.ml global_constants_storage.mli
  sc_rollup_staker_index_storage.ml sc_rollup_staker_index_storage.mli
  sc_rollup_commitment_storage.ml sc_rollup_commitment_storage.mli
  sc_rollup_outbox_storage.ml sc_rollup_outbox_storage.mli
  sc_rollup_whitelist_storage.ml sc_rollup_whitelist_storage.mli
  sc_rollup_stake_storage.ml sc_rollup_stake_storage.mli
  sc_rollup_storage.ml sc_rollup_storage.mli
  dal_slot_storage.ml dal_slot_storage.mli
  sc_rollup_refutation_storage.ml sc_rollup_refutation_storage.mli
  zk_rollup_errors.ml
  bootstrap_storage.ml bootstrap_storage.mli
  init_storage.ml init_storage.mli
  destination_storage.ml destination_storage.mli
  alpha_context.ml alpha_context.mli
  script_string.ml script_string.mli
  script_timestamp.ml script_timestamp.mli
  script_bytes.ml script_bytes.mli
  local_gas_counter.ml local_gas_counter.mli
  script_tc_errors.ml
  gas_monad.ml gas_monad.mli
  script_ir_annot.ml script_ir_annot.mli
  dependent_bool.ml dependent_bool.mli
  script_list.ml script_list.mli
  script_typed_ir.ml script_typed_ir.mli
  script_comparable.ml script_comparable.mli
  gas_comparable_input_size.ml gas_comparable_input_size.mli
  script_set.ml script_set.mli
  script_map.ml script_map.mli
  gas_input_size.ml gas_input_size.mli
  script_typed_ir_size.ml script_typed_ir_size.mli
  script_typed_ir_size_costs_generated.ml
  script_typed_ir_size_costs.ml script_typed_ir_size_costs.mli
  michelson_v1_gas.ml michelson_v1_gas.mli
  operation_costs.ml operation_costs.mli
  script_tc_context.ml script_tc_context.mli
  ticket_token.ml ticket_token.mli
  ticket_receipt.ml ticket_receipt.mli
  apply_operation_result.ml apply_operation_result.mli
  apply_internal_results.ml apply_internal_results.mli
  apply_results.ml apply_results.mli
  script_ir_translator_config.ml
  script_ir_unparser.ml script_ir_unparser.mli
  script_ir_translator.ml script_ir_translator.mli
  script_big_map.ml script_big_map.mli
  script_cache.ml script_cache.mli
  script_tc_errors_registration.ml script_tc_errors_registration.mli
  ticket_token_unparser.ml ticket_token_unparser.mli
  ticket_costs_generated.ml
  ticket_costs.ml ticket_costs.mli
  ticket_scanner.ml ticket_scanner.mli
  ticket_balance_key.ml ticket_balance_key.mli
  ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
  zk_rollup_parameters.ml zk_rollup_parameters.mli
  ticket_token_map.ml ticket_token_map.mli
  ticket_operations_diff.ml ticket_operations_diff.mli
  ticket_accounting.ml ticket_accounting.mli
  ticket_transfer.ml ticket_transfer.mli
  script_interpreter_defs.ml
  script_interpreter.ml script_interpreter.mli
  sc_rollup_management_protocol.ml sc_rollup_management_protocol.mli
  sc_rollup_operations.ml sc_rollup_operations.mli
  dal_apply.ml dal_apply.mli
  zk_rollup_apply.ml zk_rollup_apply.mli
  baking.ml baking.mli
  validate_errors.ml validate_errors.mli
  amendment.ml amendment.mli
  validate.ml validate.mli
  mempool_validation.ml mempool_validation.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
  dal_services.ml dal_services.mli
  adaptive_issuance_services.ml adaptive_issuance_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} alpha)))))