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