dune
; 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.environment)
(instrumentation (backend bisect_ppx))
(libraries
tezos-protocol-environment)
(library_flags (:standard -linkall))
(modules Environment))
(rule
(targets environment.ml)
(action
(write-file
%{targets}
"module Name = struct let name = \"alpha\" end\ninclude Tezos_protocol_environment.MakeV6(Name)()\nmodule CamlinternalFormatBasics = struct include CamlinternalFormatBasics end\n")))
(library
(name tezos_raw_protocol_alpha)
(public_name tezos-protocol-alpha.raw)
(instrumentation (backend bisect_ppx))
(libraries
tezos-protocol-alpha.environment)
(library_flags (:standard -linkall))
(flags
(:standard
-w +a-4-40..42-44-45-48
-warn-error +a
-nostdlib
-nopervasives
-open Tezos_protocol_environment_alpha.Environment
-open Pervasives
-open 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
Tx_rollup_prefixes
Merkle_list
Bitset
Slot_repr
Tez_repr
Period_repr
Time_repr
Ratio_repr
Round_repr
Block_payload_repr
Fixed_point_repr
Saturation_repr
Gas_limit_repr
Constants_parametric_repr
Constants_parametric_previous_repr
Constants_repr
Raw_level_repr
Fitness_repr
Cycle_repr
Level_repr
Sc_rollup_repr
Skip_list_repr
Sc_rollup_inbox_repr
Sc_rollup_tick_repr
Sc_rollup_game_repr
Seed_repr
Sampler
Voting_period_repr
Ticket_hash_repr
Michelson_v1_primitives
Script_repr
Cache_memory_helpers
Contract_repr
Indexable
Entrypoint_repr
Tx_rollup_level_repr
Tx_rollup_l2_proof
Tx_rollup_l2_address
Tx_rollup_l2_qty
Tx_rollup_l2_context_hash
Tx_rollup_repr
Tx_rollup_withdraw_repr
Tx_rollup_withdraw_list_hash_repr
Tx_rollup_reveal_repr
Tx_rollup_message_repr
Tx_rollup_message_hash_repr
Tx_rollup_inbox_repr
Tx_rollup_message_result_repr
Tx_rollup_message_result_hash_repr
Tx_rollup_commitment_repr
Tx_rollup_errors_repr
Tx_rollup_state_repr
Bond_id_repr
Vote_repr
Liquidity_baking_repr
Block_header_repr
Destination_repr
Operation_repr
Manager_repr
Commitment_repr
Parameters_repr
Sapling_repr
Lazy_storage_kind
Receipt_repr
Migration_repr
Carbonated_map_costs
Carbonated_map
Raw_context_intf
Raw_context
Storage_costs
Storage_sigs
Storage_functors
Storage
Ticket_hash_builder
Constants_storage
Tx_rollup_gas
Tx_rollup_hash_builder
Level_storage
Nonce_storage
Seed_storage
Contract_manager_storage
Delegate_activation_storage
Frozen_deposits_storage
Sapling_storage
Lazy_storage_diff
Commitment_storage
Voting_period_storage
Cache_repr
Contract_delegate_storage
Stake_storage
Contract_storage
Token
Delegate_storage
Bootstrap_storage
Vote_storage
Fees_storage
Ticket_storage
Liquidity_baking_storage
Liquidity_baking_cpmm
Liquidity_baking_lqt
Liquidity_baking_migration
Init_storage
Sapling_validator
Global_constants_costs
Global_constants_storage
Tx_rollup_state_storage
Tx_rollup_reveal_storage
Tx_rollup_inbox_storage
Tx_rollup_commitment_storage
Tx_rollup_storage
Sc_rollup_costs
Sc_rollup_storage
Alpha_context
Script_string
Script_int
Script_timestamp
Tx_rollup_l2_storage_sig
Tx_rollup_l2_context_sig
Tx_rollup_l2_context
Tx_rollup_l2_batch
Tx_rollup_l2_apply
Tx_rollup_l2_verifier
Local_gas_counter
Script_tc_errors
Gas_monad
Script_ir_annot
Dependent_bool
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
Michelson_v1_gas
Script_list
Script_tc_context
Apply_results
Script_ir_translator
Script_cache
Script_tc_errors_registration
Ticket_costs
Ticket_scanner
Ticket_token
Ticket_balance_key
Ticket_lazy_storage_diff
Tx_rollup_parameters
Ticket_token_map
Ticket_operations_diff
Ticket_accounting
Tx_rollup_ticket
Script_interpreter_defs
Script_interpreter
Sc_rollup_management_protocol
Sc_rollup_operations
Sc_rollup_PVM_sem
Sc_rollup_arith
Sc_rollups
Baking
Amendment
Apply
Services_registration
Constants_services
Sapling_services
Contract_services
Delegate_services
Voting_services
Tx_rollup_services
Alpha_services
Main))
(library
(name tezos_protocol_alpha)
(public_name tezos-protocol-alpha)
(instrumentation (backend bisect_ppx))
(libraries
tezos-protocol-environment
tezos-protocol-environment.sigs
tezos-protocol-alpha.raw)
(flags (-w +a-4-40..42-44-45-48
-warn-error +a
-nopervasives))
(modules Protocol))
(install
(package tezos-protocol-alpha)
(section lib)
(files (TEZOS_PROTOCOL as raw/TEZOS_PROTOCOL)))
(rule
(targets protocol.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
tx_rollup_prefixes.ml tx_rollup_prefixes.mli
merkle_list.ml merkle_list.mli
bitset.ml bitset.mli
slot_repr.ml slot_repr.mli
tez_repr.ml tez_repr.mli
period_repr.ml period_repr.mli
time_repr.ml time_repr.mli
ratio_repr.ml ratio_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
constants_parametric_repr.ml constants_parametric_repr.mli
constants_parametric_previous_repr.ml
constants_parametric_previous_repr.mli
constants_repr.ml constants_repr.mli
raw_level_repr.ml raw_level_repr.mli
fitness_repr.ml fitness_repr.mli
cycle_repr.ml cycle_repr.mli
level_repr.ml level_repr.mli
sc_rollup_repr.ml sc_rollup_repr.mli
skip_list_repr.ml skip_list_repr.mli
sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
sc_rollup_game_repr.ml sc_rollup_game_repr.mli
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
michelson_v1_primitives.ml michelson_v1_primitives.mli
script_repr.ml script_repr.mli
cache_memory_helpers.ml
contract_repr.ml contract_repr.mli
indexable.ml indexable.mli
entrypoint_repr.ml entrypoint_repr.mli
tx_rollup_level_repr.ml tx_rollup_level_repr.mli
tx_rollup_l2_proof.ml tx_rollup_l2_proof.mli
tx_rollup_l2_address.ml tx_rollup_l2_address.mli
tx_rollup_l2_qty.ml tx_rollup_l2_qty.mli
tx_rollup_l2_context_hash.ml tx_rollup_l2_context_hash.mli
tx_rollup_repr.ml tx_rollup_repr.mli
tx_rollup_withdraw_repr.ml tx_rollup_withdraw_repr.mli
tx_rollup_withdraw_list_hash_repr.ml tx_rollup_withdraw_list_hash_repr.mli
tx_rollup_reveal_repr.ml tx_rollup_reveal_repr.mli
tx_rollup_message_repr.ml tx_rollup_message_repr.mli
tx_rollup_message_hash_repr.ml tx_rollup_message_hash_repr.mli
tx_rollup_inbox_repr.ml tx_rollup_inbox_repr.mli
tx_rollup_message_result_repr.ml tx_rollup_message_result_repr.mli
tx_rollup_message_result_hash_repr.ml
tx_rollup_message_result_hash_repr.mli
tx_rollup_commitment_repr.ml tx_rollup_commitment_repr.mli
tx_rollup_errors_repr.ml
tx_rollup_state_repr.ml tx_rollup_state_repr.mli
bond_id_repr.ml bond_id_repr.mli
vote_repr.ml vote_repr.mli
liquidity_baking_repr.ml liquidity_baking_repr.mli
block_header_repr.ml block_header_repr.mli
destination_repr.ml destination_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
carbonated_map_costs.ml carbonated_map_costs.mli
carbonated_map.ml carbonated_map.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
ticket_hash_builder.ml ticket_hash_builder.mli
constants_storage.ml constants_storage.mli
tx_rollup_gas.ml tx_rollup_gas.mli
tx_rollup_hash_builder.ml
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
frozen_deposits_storage.ml frozen_deposits_storage.mli
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.ml cache_repr.mli
contract_delegate_storage.ml contract_delegate_storage.mli
stake_storage.ml stake_storage.mli
contract_storage.ml contract_storage.mli
token.ml token.mli
delegate_storage.ml delegate_storage.mli
bootstrap_storage.ml bootstrap_storage.mli
vote_storage.ml vote_storage.mli
fees_storage.ml fees_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
init_storage.ml init_storage.mli
sapling_validator.ml
global_constants_costs.ml global_constants_costs.mli
global_constants_storage.ml global_constants_storage.mli
tx_rollup_state_storage.ml tx_rollup_state_storage.mli
tx_rollup_reveal_storage.ml tx_rollup_reveal_storage.mli
tx_rollup_inbox_storage.ml tx_rollup_inbox_storage.mli
tx_rollup_commitment_storage.ml tx_rollup_commitment_storage.mli
tx_rollup_storage.ml tx_rollup_storage.mli
sc_rollup_costs.ml sc_rollup_costs.mli
sc_rollup_storage.ml sc_rollup_storage.mli
alpha_context.ml alpha_context.mli
script_string.ml script_string.mli
script_int.ml script_int.mli
script_timestamp.ml script_timestamp.mli
tx_rollup_l2_storage_sig.ml
tx_rollup_l2_context_sig.ml
tx_rollup_l2_context.ml
tx_rollup_l2_batch.ml tx_rollup_l2_batch.mli
tx_rollup_l2_apply.ml tx_rollup_l2_apply.mli
tx_rollup_l2_verifier.ml tx_rollup_l2_verifier.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_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.ml script_typed_ir_size_costs.mli
michelson_v1_gas.ml michelson_v1_gas.mli
script_list.ml script_list.mli
script_tc_context.ml script_tc_context.mli
apply_results.ml apply_results.mli
script_ir_translator.ml script_ir_translator.mli
script_cache.ml script_cache.mli
script_tc_errors_registration.ml script_tc_errors_registration.mli
ticket_costs.ml ticket_costs.mli
ticket_scanner.ml ticket_scanner.mli
ticket_token.ml ticket_token.mli
ticket_balance_key.ml ticket_balance_key.mli
ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
tx_rollup_parameters.ml tx_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
tx_rollup_ticket.ml tx_rollup_ticket.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
sc_rollup_PVM_sem.ml
sc_rollup_arith.ml sc_rollup_arith.mli
sc_rollups.ml sc_rollups.mli
baking.ml baking.mli
amendment.ml amendment.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
tx_rollup_services.ml tx_rollup_services.mli
alpha_services.ml alpha_services.mli
main.ml main.mli)
(action
(write-file
%{targets}
"module Environment = Tezos_protocol_environment_alpha.Environment\nlet hash = Tezos_crypto.Protocol_hash.of_b58check_exn \"ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK\"\nlet name = Environment.Name.name\ninclude Tezos_raw_protocol_alpha\ninclude Tezos_raw_protocol_alpha.Main\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
tx_rollup_prefixes.ml tx_rollup_prefixes.mli
merkle_list.ml merkle_list.mli
bitset.ml bitset.mli
slot_repr.ml slot_repr.mli
tez_repr.ml tez_repr.mli
period_repr.ml period_repr.mli
time_repr.ml time_repr.mli
ratio_repr.ml ratio_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
constants_parametric_repr.ml constants_parametric_repr.mli
constants_parametric_previous_repr.ml
constants_parametric_previous_repr.mli
constants_repr.ml constants_repr.mli
raw_level_repr.ml raw_level_repr.mli
fitness_repr.ml fitness_repr.mli
cycle_repr.ml cycle_repr.mli
level_repr.ml level_repr.mli
sc_rollup_repr.ml sc_rollup_repr.mli
skip_list_repr.ml skip_list_repr.mli
sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
sc_rollup_game_repr.ml sc_rollup_game_repr.mli
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
michelson_v1_primitives.ml michelson_v1_primitives.mli
script_repr.ml script_repr.mli
cache_memory_helpers.ml
contract_repr.ml contract_repr.mli
indexable.ml indexable.mli
entrypoint_repr.ml entrypoint_repr.mli
tx_rollup_level_repr.ml tx_rollup_level_repr.mli
tx_rollup_l2_proof.ml tx_rollup_l2_proof.mli
tx_rollup_l2_address.ml tx_rollup_l2_address.mli
tx_rollup_l2_qty.ml tx_rollup_l2_qty.mli
tx_rollup_l2_context_hash.ml tx_rollup_l2_context_hash.mli
tx_rollup_repr.ml tx_rollup_repr.mli
tx_rollup_withdraw_repr.ml tx_rollup_withdraw_repr.mli
tx_rollup_withdraw_list_hash_repr.ml tx_rollup_withdraw_list_hash_repr.mli
tx_rollup_reveal_repr.ml tx_rollup_reveal_repr.mli
tx_rollup_message_repr.ml tx_rollup_message_repr.mli
tx_rollup_message_hash_repr.ml tx_rollup_message_hash_repr.mli
tx_rollup_inbox_repr.ml tx_rollup_inbox_repr.mli
tx_rollup_message_result_repr.ml tx_rollup_message_result_repr.mli
tx_rollup_message_result_hash_repr.ml
tx_rollup_message_result_hash_repr.mli
tx_rollup_commitment_repr.ml tx_rollup_commitment_repr.mli
tx_rollup_errors_repr.ml
tx_rollup_state_repr.ml tx_rollup_state_repr.mli
bond_id_repr.ml bond_id_repr.mli
vote_repr.ml vote_repr.mli
liquidity_baking_repr.ml liquidity_baking_repr.mli
block_header_repr.ml block_header_repr.mli
destination_repr.ml destination_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
carbonated_map_costs.ml carbonated_map_costs.mli
carbonated_map.ml carbonated_map.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
ticket_hash_builder.ml ticket_hash_builder.mli
constants_storage.ml constants_storage.mli
tx_rollup_gas.ml tx_rollup_gas.mli
tx_rollup_hash_builder.ml
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
frozen_deposits_storage.ml frozen_deposits_storage.mli
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.ml cache_repr.mli
contract_delegate_storage.ml contract_delegate_storage.mli
stake_storage.ml stake_storage.mli
contract_storage.ml contract_storage.mli
token.ml token.mli
delegate_storage.ml delegate_storage.mli
bootstrap_storage.ml bootstrap_storage.mli
vote_storage.ml vote_storage.mli
fees_storage.ml fees_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
init_storage.ml init_storage.mli
sapling_validator.ml
global_constants_costs.ml global_constants_costs.mli
global_constants_storage.ml global_constants_storage.mli
tx_rollup_state_storage.ml tx_rollup_state_storage.mli
tx_rollup_reveal_storage.ml tx_rollup_reveal_storage.mli
tx_rollup_inbox_storage.ml tx_rollup_inbox_storage.mli
tx_rollup_commitment_storage.ml tx_rollup_commitment_storage.mli
tx_rollup_storage.ml tx_rollup_storage.mli
sc_rollup_costs.ml sc_rollup_costs.mli
sc_rollup_storage.ml sc_rollup_storage.mli
alpha_context.ml alpha_context.mli
script_string.ml script_string.mli
script_int.ml script_int.mli
script_timestamp.ml script_timestamp.mli
tx_rollup_l2_storage_sig.ml
tx_rollup_l2_context_sig.ml
tx_rollup_l2_context.ml
tx_rollup_l2_batch.ml tx_rollup_l2_batch.mli
tx_rollup_l2_apply.ml tx_rollup_l2_apply.mli
tx_rollup_l2_verifier.ml tx_rollup_l2_verifier.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_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.ml script_typed_ir_size_costs.mli
michelson_v1_gas.ml michelson_v1_gas.mli
script_list.ml script_list.mli
script_tc_context.ml script_tc_context.mli
apply_results.ml apply_results.mli
script_ir_translator.ml script_ir_translator.mli
script_cache.ml script_cache.mli
script_tc_errors_registration.ml script_tc_errors_registration.mli
ticket_costs.ml ticket_costs.mli
ticket_scanner.ml ticket_scanner.mli
ticket_token.ml ticket_token.mli
ticket_balance_key.ml ticket_balance_key.mli
ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
tx_rollup_parameters.ml tx_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
tx_rollup_ticket.ml tx_rollup_ticket.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
sc_rollup_PVM_sem.ml
sc_rollup_arith.ml sc_rollup_arith.mli
sc_rollups.ml sc_rollups.mli
baking.ml baking.mli
amendment.ml amendment.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
tx_rollup_services.ml tx_rollup_services.mli
alpha_services.ml alpha_services.mli
main.ml main.mli
(:src_dir TEZOS_PROTOCOL))
(action (run %{bin:tezos-protocol-compiler} -no-hash-check .)))
(rule
(alias runtest_sandbox)
(deps .tezos_protocol_alpha.objs/native/tezos_protocol_alpha.cmx)
(action (progn)))
(rule
(alias runtest)
(package tezos-protocol-alpha)
(deps (alias runtest_sandbox))
(action (progn)))
(library
(name tezos_protocol_alpha_functor)
(public_name tezos-protocol-functor-alpha)
(libraries
tezos-protocol-environment
tezos-protocol-environment.sigs
tezos-protocol-alpha.raw)
(flags (-w +a-4-40..42-44-45-48
-warn-error +a
-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
tx_rollup_prefixes.ml tx_rollup_prefixes.mli
merkle_list.ml merkle_list.mli
bitset.ml bitset.mli
slot_repr.ml slot_repr.mli
tez_repr.ml tez_repr.mli
period_repr.ml period_repr.mli
time_repr.ml time_repr.mli
ratio_repr.ml ratio_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
constants_parametric_repr.ml constants_parametric_repr.mli
constants_parametric_previous_repr.ml
constants_parametric_previous_repr.mli
constants_repr.ml constants_repr.mli
raw_level_repr.ml raw_level_repr.mli
fitness_repr.ml fitness_repr.mli
cycle_repr.ml cycle_repr.mli
level_repr.ml level_repr.mli
sc_rollup_repr.ml sc_rollup_repr.mli
skip_list_repr.ml skip_list_repr.mli
sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
sc_rollup_game_repr.ml sc_rollup_game_repr.mli
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
michelson_v1_primitives.ml michelson_v1_primitives.mli
script_repr.ml script_repr.mli
cache_memory_helpers.ml
contract_repr.ml contract_repr.mli
indexable.ml indexable.mli
entrypoint_repr.ml entrypoint_repr.mli
tx_rollup_level_repr.ml tx_rollup_level_repr.mli
tx_rollup_l2_proof.ml tx_rollup_l2_proof.mli
tx_rollup_l2_address.ml tx_rollup_l2_address.mli
tx_rollup_l2_qty.ml tx_rollup_l2_qty.mli
tx_rollup_l2_context_hash.ml tx_rollup_l2_context_hash.mli
tx_rollup_repr.ml tx_rollup_repr.mli
tx_rollup_withdraw_repr.ml tx_rollup_withdraw_repr.mli
tx_rollup_withdraw_list_hash_repr.ml tx_rollup_withdraw_list_hash_repr.mli
tx_rollup_reveal_repr.ml tx_rollup_reveal_repr.mli
tx_rollup_message_repr.ml tx_rollup_message_repr.mli
tx_rollup_message_hash_repr.ml tx_rollup_message_hash_repr.mli
tx_rollup_inbox_repr.ml tx_rollup_inbox_repr.mli
tx_rollup_message_result_repr.ml tx_rollup_message_result_repr.mli
tx_rollup_message_result_hash_repr.ml
tx_rollup_message_result_hash_repr.mli
tx_rollup_commitment_repr.ml tx_rollup_commitment_repr.mli
tx_rollup_errors_repr.ml
tx_rollup_state_repr.ml tx_rollup_state_repr.mli
bond_id_repr.ml bond_id_repr.mli
vote_repr.ml vote_repr.mli
liquidity_baking_repr.ml liquidity_baking_repr.mli
block_header_repr.ml block_header_repr.mli
destination_repr.ml destination_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
carbonated_map_costs.ml carbonated_map_costs.mli
carbonated_map.ml carbonated_map.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
ticket_hash_builder.ml ticket_hash_builder.mli
constants_storage.ml constants_storage.mli
tx_rollup_gas.ml tx_rollup_gas.mli
tx_rollup_hash_builder.ml
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
frozen_deposits_storage.ml frozen_deposits_storage.mli
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.ml cache_repr.mli
contract_delegate_storage.ml contract_delegate_storage.mli
stake_storage.ml stake_storage.mli
contract_storage.ml contract_storage.mli
token.ml token.mli
delegate_storage.ml delegate_storage.mli
bootstrap_storage.ml bootstrap_storage.mli
vote_storage.ml vote_storage.mli
fees_storage.ml fees_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
init_storage.ml init_storage.mli
sapling_validator.ml
global_constants_costs.ml global_constants_costs.mli
global_constants_storage.ml global_constants_storage.mli
tx_rollup_state_storage.ml tx_rollup_state_storage.mli
tx_rollup_reveal_storage.ml tx_rollup_reveal_storage.mli
tx_rollup_inbox_storage.ml tx_rollup_inbox_storage.mli
tx_rollup_commitment_storage.ml tx_rollup_commitment_storage.mli
tx_rollup_storage.ml tx_rollup_storage.mli
sc_rollup_costs.ml sc_rollup_costs.mli
sc_rollup_storage.ml sc_rollup_storage.mli
alpha_context.ml alpha_context.mli
script_string.ml script_string.mli
script_int.ml script_int.mli
script_timestamp.ml script_timestamp.mli
tx_rollup_l2_storage_sig.ml
tx_rollup_l2_context_sig.ml
tx_rollup_l2_context.ml
tx_rollup_l2_batch.ml tx_rollup_l2_batch.mli
tx_rollup_l2_apply.ml tx_rollup_l2_apply.mli
tx_rollup_l2_verifier.ml tx_rollup_l2_verifier.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_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.ml script_typed_ir_size_costs.mli
michelson_v1_gas.ml michelson_v1_gas.mli
script_list.ml script_list.mli
script_tc_context.ml script_tc_context.mli
apply_results.ml apply_results.mli
script_ir_translator.ml script_ir_translator.mli
script_cache.ml script_cache.mli
script_tc_errors_registration.ml script_tc_errors_registration.mli
ticket_costs.ml ticket_costs.mli
ticket_scanner.ml ticket_scanner.mli
ticket_token.ml ticket_token.mli
ticket_balance_key.ml ticket_balance_key.mli
ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
tx_rollup_parameters.ml tx_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
tx_rollup_ticket.ml tx_rollup_ticket.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
sc_rollup_PVM_sem.ml
sc_rollup_arith.ml sc_rollup_arith.mli
sc_rollups.ml sc_rollups.mli
baking.ml baking.mli
amendment.ml amendment.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
tx_rollup_services.ml tx_rollup_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:tezos-protocol-compiler.tezos-protocol-packer} %{src_dir})))))
(library
(name tezos_embedded_protocol_alpha)
(public_name tezos-embedded-protocol-alpha)
(instrumentation (backend bisect_ppx))
(libraries
tezos-protocol-alpha
tezos-protocol-updater
tezos-protocol-environment)
(library_flags (:standard -linkall))
(flags (:standard
-w +a-4-40..42-44-45-48
-warn-error +a))
(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
tx_rollup_prefixes.ml tx_rollup_prefixes.mli
merkle_list.ml merkle_list.mli
bitset.ml bitset.mli
slot_repr.ml slot_repr.mli
tez_repr.ml tez_repr.mli
period_repr.ml period_repr.mli
time_repr.ml time_repr.mli
ratio_repr.ml ratio_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
constants_parametric_repr.ml constants_parametric_repr.mli
constants_parametric_previous_repr.ml
constants_parametric_previous_repr.mli
constants_repr.ml constants_repr.mli
raw_level_repr.ml raw_level_repr.mli
fitness_repr.ml fitness_repr.mli
cycle_repr.ml cycle_repr.mli
level_repr.ml level_repr.mli
sc_rollup_repr.ml sc_rollup_repr.mli
skip_list_repr.ml skip_list_repr.mli
sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli
sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli
sc_rollup_game_repr.ml sc_rollup_game_repr.mli
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
michelson_v1_primitives.ml michelson_v1_primitives.mli
script_repr.ml script_repr.mli
cache_memory_helpers.ml
contract_repr.ml contract_repr.mli
indexable.ml indexable.mli
entrypoint_repr.ml entrypoint_repr.mli
tx_rollup_level_repr.ml tx_rollup_level_repr.mli
tx_rollup_l2_proof.ml tx_rollup_l2_proof.mli
tx_rollup_l2_address.ml tx_rollup_l2_address.mli
tx_rollup_l2_qty.ml tx_rollup_l2_qty.mli
tx_rollup_l2_context_hash.ml tx_rollup_l2_context_hash.mli
tx_rollup_repr.ml tx_rollup_repr.mli
tx_rollup_withdraw_repr.ml tx_rollup_withdraw_repr.mli
tx_rollup_withdraw_list_hash_repr.ml tx_rollup_withdraw_list_hash_repr.mli
tx_rollup_reveal_repr.ml tx_rollup_reveal_repr.mli
tx_rollup_message_repr.ml tx_rollup_message_repr.mli
tx_rollup_message_hash_repr.ml tx_rollup_message_hash_repr.mli
tx_rollup_inbox_repr.ml tx_rollup_inbox_repr.mli
tx_rollup_message_result_repr.ml tx_rollup_message_result_repr.mli
tx_rollup_message_result_hash_repr.ml
tx_rollup_message_result_hash_repr.mli
tx_rollup_commitment_repr.ml tx_rollup_commitment_repr.mli
tx_rollup_errors_repr.ml
tx_rollup_state_repr.ml tx_rollup_state_repr.mli
bond_id_repr.ml bond_id_repr.mli
vote_repr.ml vote_repr.mli
liquidity_baking_repr.ml liquidity_baking_repr.mli
block_header_repr.ml block_header_repr.mli
destination_repr.ml destination_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
carbonated_map_costs.ml carbonated_map_costs.mli
carbonated_map.ml carbonated_map.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
ticket_hash_builder.ml ticket_hash_builder.mli
constants_storage.ml constants_storage.mli
tx_rollup_gas.ml tx_rollup_gas.mli
tx_rollup_hash_builder.ml
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
frozen_deposits_storage.ml frozen_deposits_storage.mli
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.ml cache_repr.mli
contract_delegate_storage.ml contract_delegate_storage.mli
stake_storage.ml stake_storage.mli
contract_storage.ml contract_storage.mli
token.ml token.mli
delegate_storage.ml delegate_storage.mli
bootstrap_storage.ml bootstrap_storage.mli
vote_storage.ml vote_storage.mli
fees_storage.ml fees_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
init_storage.ml init_storage.mli
sapling_validator.ml
global_constants_costs.ml global_constants_costs.mli
global_constants_storage.ml global_constants_storage.mli
tx_rollup_state_storage.ml tx_rollup_state_storage.mli
tx_rollup_reveal_storage.ml tx_rollup_reveal_storage.mli
tx_rollup_inbox_storage.ml tx_rollup_inbox_storage.mli
tx_rollup_commitment_storage.ml tx_rollup_commitment_storage.mli
tx_rollup_storage.ml tx_rollup_storage.mli
sc_rollup_costs.ml sc_rollup_costs.mli
sc_rollup_storage.ml sc_rollup_storage.mli
alpha_context.ml alpha_context.mli
script_string.ml script_string.mli
script_int.ml script_int.mli
script_timestamp.ml script_timestamp.mli
tx_rollup_l2_storage_sig.ml
tx_rollup_l2_context_sig.ml
tx_rollup_l2_context.ml
tx_rollup_l2_batch.ml tx_rollup_l2_batch.mli
tx_rollup_l2_apply.ml tx_rollup_l2_apply.mli
tx_rollup_l2_verifier.ml tx_rollup_l2_verifier.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_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.ml script_typed_ir_size_costs.mli
michelson_v1_gas.ml michelson_v1_gas.mli
script_list.ml script_list.mli
script_tc_context.ml script_tc_context.mli
apply_results.ml apply_results.mli
script_ir_translator.ml script_ir_translator.mli
script_cache.ml script_cache.mli
script_tc_errors_registration.ml script_tc_errors_registration.mli
ticket_costs.ml ticket_costs.mli
ticket_scanner.ml ticket_scanner.mli
ticket_token.ml ticket_token.mli
ticket_balance_key.ml ticket_balance_key.mli
ticket_lazy_storage_diff.ml ticket_lazy_storage_diff.mli
tx_rollup_parameters.ml tx_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
tx_rollup_ticket.ml tx_rollup_ticket.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
sc_rollup_PVM_sem.ml
sc_rollup_arith.ml sc_rollup_arith.mli
sc_rollups.ml sc_rollups.mli
baking.ml baking.mli
amendment.ml amendment.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
tx_rollup_services.ml tx_rollup_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:tezos-embedded-protocol-packer} %{src_dir} alpha)))))
