; This file was automatically generated, do not edit. ; Edit file manifest/main.ml instead. (library (name tezos_protocol_environment_003_PsddFKi3) (public_name tezos-protocol-003-PsddFKi3.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 = \"003-PsddFKi3\" end\ninclude Tezos_protocol_environment.MakeV0(Name)()\nmodule CamlinternalFormatBasics = struct include CamlinternalFormatBasics end\n"))) (library (name tezos_raw_protocol_003_PsddFKi3) (public_name tezos-protocol-003-PsddFKi3.raw) (instrumentation (backend bisect_ppx)) (libraries tezos-protocol-003-PsddFKi3.environment) (library_flags (:standard -linkall)) (flags (:standard) -w -6-7-9-16-29-32-51-68 -nostdlib -nopervasives -open Tezos_protocol_environment_003_PsddFKi3.Environment -open Pervasives -open Error_monad) (modules Misc Storage_description State_hash Nonce_hash Script_expr_hash Contract_hash Blinded_public_key_hash Qty_repr Tez_repr Period_repr Time_repr Constants_repr Fitness_repr Raw_level_repr Voting_period_repr Cycle_repr Level_repr Seed_repr Gas_limit_repr Script_int_repr Script_timestamp_repr Michelson_v1_primitives Script_repr Contract_repr Roll_repr Vote_repr Block_header_repr Operation_repr Manager_repr Commitment_repr Parameters_repr Raw_context Storage_sigs Storage_functors Storage Constants_storage Level_storage Nonce_storage Seed_storage Roll_storage Delegate_storage Contract_storage Bootstrap_storage Fitness_storage Vote_storage Commitment_storage Init_storage Fees_storage Alpha_context Script_typed_ir Script_tc_errors Michelson_v1_gas Script_ir_annot Script_ir_translator Script_tc_errors_registration Script_interpreter Baking Amendment Apply_results Apply Services_registration Constants_services Contract_services Delegate_services Helpers_services Voting_services Alpha_services Main)) (library (name tezos_protocol_003_PsddFKi3) (public_name tezos-protocol-003-PsddFKi3) (instrumentation (backend bisect_ppx)) (libraries tezos-protocol-environment tezos-protocol-environment.sigs tezos-protocol-003-PsddFKi3.raw) (flags (:standard) -w -6-7-9-16-29-32-51-68 -nopervasives) (modules Protocol)) (install (package tezos-protocol-003-PsddFKi3) (section lib) (files (TEZOS_PROTOCOL as raw/TEZOS_PROTOCOL))) (rule (targets protocol.ml) (deps misc.ml misc.mli storage_description.ml storage_description.mli state_hash.ml nonce_hash.ml script_expr_hash.ml contract_hash.ml blinded_public_key_hash.ml blinded_public_key_hash.mli qty_repr.ml tez_repr.ml tez_repr.mli period_repr.ml period_repr.mli time_repr.ml time_repr.mli constants_repr.ml fitness_repr.ml raw_level_repr.ml raw_level_repr.mli voting_period_repr.ml voting_period_repr.mli cycle_repr.ml cycle_repr.mli level_repr.ml level_repr.mli seed_repr.ml seed_repr.mli gas_limit_repr.ml gas_limit_repr.mli script_int_repr.ml script_int_repr.mli script_timestamp_repr.ml script_timestamp_repr.mli michelson_v1_primitives.ml michelson_v1_primitives.mli script_repr.ml script_repr.mli contract_repr.ml contract_repr.mli roll_repr.ml roll_repr.mli vote_repr.ml vote_repr.mli block_header_repr.ml block_header_repr.mli operation_repr.ml operation_repr.mli manager_repr.ml manager_repr.mli commitment_repr.ml commitment_repr.mli parameters_repr.ml parameters_repr.mli raw_context.ml raw_context.mli storage_sigs.ml storage_functors.ml storage_functors.mli storage.ml storage.mli constants_storage.ml level_storage.ml level_storage.mli nonce_storage.ml nonce_storage.mli seed_storage.ml seed_storage.mli roll_storage.ml roll_storage.mli delegate_storage.ml delegate_storage.mli contract_storage.ml contract_storage.mli bootstrap_storage.ml bootstrap_storage.mli fitness_storage.ml vote_storage.ml vote_storage.mli commitment_storage.ml commitment_storage.mli init_storage.ml fees_storage.ml fees_storage.mli alpha_context.ml alpha_context.mli script_typed_ir.ml script_tc_errors.ml michelson_v1_gas.ml michelson_v1_gas.mli script_ir_annot.ml script_ir_annot.mli script_ir_translator.ml script_ir_translator.mli script_tc_errors_registration.ml script_interpreter.ml script_interpreter.mli baking.ml baking.mli amendment.ml amendment.mli apply_results.ml apply_results.mli apply.ml services_registration.ml constants_services.ml constants_services.mli contract_services.ml contract_services.mli delegate_services.ml delegate_services.mli helpers_services.ml helpers_services.mli voting_services.ml voting_services.mli alpha_services.ml alpha_services.mli main.ml main.mli) (action (write-file %{targets} "module Environment = Tezos_protocol_environment_003_PsddFKi3.Environment\nlet hash = Tezos_crypto.Protocol_hash.of_b58check_exn \"PsddFKi32cMJ2qPjf43Qv5GDWLDPZb3T3bF6fLKiF5HtvHNU7aP\"\nlet name = Environment.Name.name\ninclude Tezos_raw_protocol_003_PsddFKi3\ninclude Tezos_raw_protocol_003_PsddFKi3.Main\n"))) (rule (alias runtest_compile_protocol) (deps misc.ml misc.mli storage_description.ml storage_description.mli state_hash.ml nonce_hash.ml script_expr_hash.ml contract_hash.ml blinded_public_key_hash.ml blinded_public_key_hash.mli qty_repr.ml tez_repr.ml tez_repr.mli period_repr.ml period_repr.mli time_repr.ml time_repr.mli constants_repr.ml fitness_repr.ml raw_level_repr.ml raw_level_repr.mli voting_period_repr.ml voting_period_repr.mli cycle_repr.ml cycle_repr.mli level_repr.ml level_repr.mli seed_repr.ml seed_repr.mli gas_limit_repr.ml gas_limit_repr.mli script_int_repr.ml script_int_repr.mli script_timestamp_repr.ml script_timestamp_repr.mli michelson_v1_primitives.ml michelson_v1_primitives.mli script_repr.ml script_repr.mli contract_repr.ml contract_repr.mli roll_repr.ml roll_repr.mli vote_repr.ml vote_repr.mli block_header_repr.ml block_header_repr.mli operation_repr.ml operation_repr.mli manager_repr.ml manager_repr.mli commitment_repr.ml commitment_repr.mli parameters_repr.ml parameters_repr.mli raw_context.ml raw_context.mli storage_sigs.ml storage_functors.ml storage_functors.mli storage.ml storage.mli constants_storage.ml level_storage.ml level_storage.mli nonce_storage.ml nonce_storage.mli seed_storage.ml seed_storage.mli roll_storage.ml roll_storage.mli delegate_storage.ml delegate_storage.mli contract_storage.ml contract_storage.mli bootstrap_storage.ml bootstrap_storage.mli fitness_storage.ml vote_storage.ml vote_storage.mli commitment_storage.ml commitment_storage.mli init_storage.ml fees_storage.ml fees_storage.mli alpha_context.ml alpha_context.mli script_typed_ir.ml script_tc_errors.ml michelson_v1_gas.ml michelson_v1_gas.mli script_ir_annot.ml script_ir_annot.mli script_ir_translator.ml script_ir_translator.mli script_tc_errors_registration.ml script_interpreter.ml script_interpreter.mli baking.ml baking.mli amendment.ml amendment.mli apply_results.ml apply_results.mli apply.ml services_registration.ml constants_services.ml constants_services.mli contract_services.ml contract_services.mli delegate_services.ml delegate_services.mli helpers_services.ml helpers_services.mli voting_services.ml voting_services.mli alpha_services.ml alpha_services.mli main.ml main.mli (:src_dir TEZOS_PROTOCOL)) (action (run %{bin:tezos-protocol-compiler} -warning -6-7-9-16-29-32-51-68 -warn-error +a .))) (library (name tezos_protocol_003_PsddFKi3_functor) (libraries tezos-protocol-environment tezos-protocol-environment.sigs tezos-protocol-003-PsddFKi3.raw) (flags (:standard) -w -6-7-9-16-29-32-51-68 -nopervasives) (modules Functor)) (rule (targets functor.ml) (deps misc.ml misc.mli storage_description.ml storage_description.mli state_hash.ml nonce_hash.ml script_expr_hash.ml contract_hash.ml blinded_public_key_hash.ml blinded_public_key_hash.mli qty_repr.ml tez_repr.ml tez_repr.mli period_repr.ml period_repr.mli time_repr.ml time_repr.mli constants_repr.ml fitness_repr.ml raw_level_repr.ml raw_level_repr.mli voting_period_repr.ml voting_period_repr.mli cycle_repr.ml cycle_repr.mli level_repr.ml level_repr.mli seed_repr.ml seed_repr.mli gas_limit_repr.ml gas_limit_repr.mli script_int_repr.ml script_int_repr.mli script_timestamp_repr.ml script_timestamp_repr.mli michelson_v1_primitives.ml michelson_v1_primitives.mli script_repr.ml script_repr.mli contract_repr.ml contract_repr.mli roll_repr.ml roll_repr.mli vote_repr.ml vote_repr.mli block_header_repr.ml block_header_repr.mli operation_repr.ml operation_repr.mli manager_repr.ml manager_repr.mli commitment_repr.ml commitment_repr.mli parameters_repr.ml parameters_repr.mli raw_context.ml raw_context.mli storage_sigs.ml storage_functors.ml storage_functors.mli storage.ml storage.mli constants_storage.ml level_storage.ml level_storage.mli nonce_storage.ml nonce_storage.mli seed_storage.ml seed_storage.mli roll_storage.ml roll_storage.mli delegate_storage.ml delegate_storage.mli contract_storage.ml contract_storage.mli bootstrap_storage.ml bootstrap_storage.mli fitness_storage.ml vote_storage.ml vote_storage.mli commitment_storage.ml commitment_storage.mli init_storage.ml fees_storage.ml fees_storage.mli alpha_context.ml alpha_context.mli script_typed_ir.ml script_tc_errors.ml michelson_v1_gas.ml michelson_v1_gas.mli script_ir_annot.ml script_ir_annot.mli script_ir_translator.ml script_ir_translator.mli script_tc_errors_registration.ml script_interpreter.ml script_interpreter.mli baking.ml baking.mli amendment.ml amendment.mli apply_results.ml apply_results.mli apply.ml services_registration.ml constants_services.ml constants_services.mli contract_services.ml contract_services.mli delegate_services.ml delegate_services.mli helpers_services.ml helpers_services.mli voting_services.ml voting_services.mli alpha_services.ml alpha_services.mli main.ml main.mli (:src_dir TEZOS_PROTOCOL)) (action (with-stdout-to %{targets} (chdir %{workspace_root} (run %{bin:tezos-protocol-compiler.tezos-protocol-packer} %{src_dir}))))) (library (name tezos_embedded_protocol_003_PsddFKi3) (public_name tezos-embedded-protocol-003-PsddFKi3) (instrumentation (backend bisect_ppx)) (libraries tezos-protocol-003-PsddFKi3 tezos-protocol-updater 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 nonce_hash.ml script_expr_hash.ml contract_hash.ml blinded_public_key_hash.ml blinded_public_key_hash.mli qty_repr.ml tez_repr.ml tez_repr.mli period_repr.ml period_repr.mli time_repr.ml time_repr.mli constants_repr.ml fitness_repr.ml raw_level_repr.ml raw_level_repr.mli voting_period_repr.ml voting_period_repr.mli cycle_repr.ml cycle_repr.mli level_repr.ml level_repr.mli seed_repr.ml seed_repr.mli gas_limit_repr.ml gas_limit_repr.mli script_int_repr.ml script_int_repr.mli script_timestamp_repr.ml script_timestamp_repr.mli michelson_v1_primitives.ml michelson_v1_primitives.mli script_repr.ml script_repr.mli contract_repr.ml contract_repr.mli roll_repr.ml roll_repr.mli vote_repr.ml vote_repr.mli block_header_repr.ml block_header_repr.mli operation_repr.ml operation_repr.mli manager_repr.ml manager_repr.mli commitment_repr.ml commitment_repr.mli parameters_repr.ml parameters_repr.mli raw_context.ml raw_context.mli storage_sigs.ml storage_functors.ml storage_functors.mli storage.ml storage.mli constants_storage.ml level_storage.ml level_storage.mli nonce_storage.ml nonce_storage.mli seed_storage.ml seed_storage.mli roll_storage.ml roll_storage.mli delegate_storage.ml delegate_storage.mli contract_storage.ml contract_storage.mli bootstrap_storage.ml bootstrap_storage.mli fitness_storage.ml vote_storage.ml vote_storage.mli commitment_storage.ml commitment_storage.mli init_storage.ml fees_storage.ml fees_storage.mli alpha_context.ml alpha_context.mli script_typed_ir.ml script_tc_errors.ml michelson_v1_gas.ml michelson_v1_gas.mli script_ir_annot.ml script_ir_annot.mli script_ir_translator.ml script_ir_translator.mli script_tc_errors_registration.ml script_interpreter.ml script_interpreter.mli baking.ml baking.mli amendment.ml amendment.mli apply_results.ml apply_results.mli apply.ml services_registration.ml constants_services.ml constants_services.mli contract_services.ml contract_services.mli delegate_services.ml delegate_services.mli helpers_services.ml helpers_services.mli voting_services.ml voting_services.mli alpha_services.ml alpha_services.mli main.ml main.mli (:src_dir TEZOS_PROTOCOL)) (action (with-stdout-to %{targets} (chdir %{workspace_root} (run %{bin:tezos-embedded-protocol-packer} %{src_dir} 003_PsddFKi3)))))