diff --git a/manifest/main.ml b/manifest/main.ml index 55a004ede15cdb52457d5f2ebefbf07ec83f2c23..30fb0256b23cfddb731d64aab95c19583f04102d 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -3458,7 +3458,6 @@ module CamlinternalFormatBasics = struct include CamlinternalFormatBasics end ~section:"lib"; targets_rule ["protocol.ml"] - ~deps:[modules_as_deps] ~action: [ S "write-file"; diff --git a/src/proto_000_Ps9mPmXa/lib_protocol/dune b/src/proto_000_Ps9mPmXa/lib_protocol/dune index 58ce0bf12ebedc4fe5a39e1704c3214e19bf4623..787a0c104e3f7decb96502b85531d52ce55850e6 100644 --- a/src/proto_000_Ps9mPmXa/lib_protocol/dune +++ b/src/proto_000_Ps9mPmXa/lib_protocol/dune @@ -55,9 +55,6 @@ (rule (targets protocol.ml) - (deps data.ml - services.ml - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_001_PtCJ7pwo/lib_protocol/dune b/src/proto_001_PtCJ7pwo/lib_protocol/dune index 8c60cee2b464aeb1aed39310fc9651d12bf0769b..5ee564582ef2c463e7021f2662716d50d520742e 100644 --- a/src/proto_001_PtCJ7pwo/lib_protocol/dune +++ b/src/proto_001_PtCJ7pwo/lib_protocol/dune @@ -122,74 +122,6 @@ (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 - alpha_services.ml alpha_services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_002_PsYLVpVv/lib_protocol/dune b/src/proto_002_PsYLVpVv/lib_protocol/dune index d3f2396002e343cc18933069a1a0b4b662b4efbd..4b8f316f106dd35bee0c6fc305152b43e0741d48 100644 --- a/src/proto_002_PsYLVpVv/lib_protocol/dune +++ b/src/proto_002_PsYLVpVv/lib_protocol/dune @@ -122,74 +122,6 @@ (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 - alpha_services.ml alpha_services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_003_PsddFKi3/lib_protocol/dune b/src/proto_003_PsddFKi3/lib_protocol/dune index 8667695ff876c65c9301f80c8b07a62e70e67dcc..51218ea300c7545f82ececab314de0cc2f94bc70 100644 --- a/src/proto_003_PsddFKi3/lib_protocol/dune +++ b/src/proto_003_PsddFKi3/lib_protocol/dune @@ -123,75 +123,6 @@ (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} diff --git a/src/proto_004_Pt24m4xi/lib_protocol/dune b/src/proto_004_Pt24m4xi/lib_protocol/dune index dc66d652e643f8206be3c3635884e0a09602de47..0f525fcea3228c1ab655b9158e88dd1825b7e165 100644 --- a/src/proto_004_Pt24m4xi/lib_protocol/dune +++ b/src/proto_004_Pt24m4xi/lib_protocol/dune @@ -123,75 +123,6 @@ (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} diff --git a/src/proto_005_PsBABY5H/lib_protocol/dune b/src/proto_005_PsBABY5H/lib_protocol/dune index c4e6e51224bea1c2170fca6580708d275cbe960e..1f234b11a7cd4c64a8caa85528f3d5052359a266 100644 --- a/src/proto_005_PsBABY5H/lib_protocol/dune +++ b/src/proto_005_PsBABY5H/lib_protocol/dune @@ -124,76 +124,6 @@ (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 - legacy_script_support_repr.ml legacy_script_support_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} diff --git a/src/proto_005_PsBabyM1/lib_protocol/dune b/src/proto_005_PsBabyM1/lib_protocol/dune index c3bfebcfcad177129f211a519dee45e019634b9e..01eaf41aee51363a674e835ca6cdefb41c5313e9 100644 --- a/src/proto_005_PsBabyM1/lib_protocol/dune +++ b/src/proto_005_PsBabyM1/lib_protocol/dune @@ -124,76 +124,6 @@ (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 - legacy_script_support_repr.ml legacy_script_support_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} diff --git a/src/proto_006_PsCARTHA/lib_protocol/dune b/src/proto_006_PsCARTHA/lib_protocol/dune index 027c920287e230d23776465358c5f60bfdcaa503..4afd2869b36be08eab2fe40d528f9915c40074ea 100644 --- a/src/proto_006_PsCARTHA/lib_protocol/dune +++ b/src/proto_006_PsCARTHA/lib_protocol/dune @@ -124,76 +124,6 @@ (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 - legacy_script_support_repr.ml legacy_script_support_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} diff --git a/src/proto_007_PsDELPH1/lib_protocol/dune b/src/proto_007_PsDELPH1/lib_protocol/dune index c9f1c061a20d249a44df49972b3dcb2e98633e49..c5674ebb79a48129d87a1d8c502924443d117e46 100644 --- a/src/proto_007_PsDELPH1/lib_protocol/dune +++ b/src/proto_007_PsDELPH1/lib_protocol/dune @@ -126,78 +126,6 @@ (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 - fixed_point_repr.ml fixed_point_repr.mli - gas_limit_repr.ml gas_limit_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 - 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 - legacy_script_support_repr.ml legacy_script_support_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_costs.ml storage_costs.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} diff --git a/src/proto_008_PtEdo2Zk/lib_protocol/dune b/src/proto_008_PtEdo2Zk/lib_protocol/dune index 4ae52ab0c9244f9ee827888c2fd9c570ee505a35..0861d0b09df6ef0139ec12f5864567e43c6960b7 100644 --- a/src/proto_008_PtEdo2Zk/lib_protocol/dune +++ b/src/proto_008_PtEdo2Zk/lib_protocol/dune @@ -131,83 +131,6 @@ (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 - tez_repr.ml tez_repr.mli - period_repr.ml period_repr.mli - time_repr.ml time_repr.mli - fixed_point_repr.ml fixed_point_repr.mli - gas_limit_repr.ml gas_limit_repr.mli - constants_repr.ml - fitness_repr.ml - raw_level_repr.ml raw_level_repr.mli - cycle_repr.ml cycle_repr.mli - level_repr.ml level_repr.mli - seed_repr.ml seed_repr.mli - voting_period_repr.ml voting_period_repr.mli - script_int_repr.ml script_int_repr.mli - script_timestamp_repr.ml script_timestamp_repr.mli - michelson_v1_primitives.ml michelson_v1_primitives.mli - script_repr.ml script_repr.mli - contract_repr.ml contract_repr.mli - roll_repr.ml roll_repr.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - constants_storage.ml - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage.ml roll_storage.mli - delegate_storage.ml delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - fitness_storage.ml - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - commitment_storage.ml commitment_storage.mli - init_storage.ml - fees_storage.ml fees_storage.mli - sapling_validator.ml - alpha_context.ml alpha_context.mli - script_typed_ir.ml - script_tc_errors.ml - michelson_v1_gas.ml michelson_v1_gas.mli - script_ir_annot.ml script_ir_annot.mli - script_ir_translator.ml script_ir_translator.mli - script_tc_errors_registration.ml - script_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 - sapling_services.ml - 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} diff --git a/src/proto_008_PtEdoTez/lib_protocol/dune b/src/proto_008_PtEdoTez/lib_protocol/dune index 3bb5e7df9773a1454e29fd44b128510f743540d6..8b1969bf86f49d07d28cf949db0195be6d240d8d 100644 --- a/src/proto_008_PtEdoTez/lib_protocol/dune +++ b/src/proto_008_PtEdoTez/lib_protocol/dune @@ -131,83 +131,6 @@ (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 - tez_repr.ml tez_repr.mli - period_repr.ml period_repr.mli - time_repr.ml time_repr.mli - fixed_point_repr.ml fixed_point_repr.mli - gas_limit_repr.ml gas_limit_repr.mli - constants_repr.ml - fitness_repr.ml - raw_level_repr.ml raw_level_repr.mli - cycle_repr.ml cycle_repr.mli - level_repr.ml level_repr.mli - seed_repr.ml seed_repr.mli - voting_period_repr.ml voting_period_repr.mli - script_int_repr.ml script_int_repr.mli - script_timestamp_repr.ml script_timestamp_repr.mli - michelson_v1_primitives.ml michelson_v1_primitives.mli - script_repr.ml script_repr.mli - contract_repr.ml contract_repr.mli - roll_repr.ml roll_repr.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - constants_storage.ml - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage.ml roll_storage.mli - delegate_storage.ml delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - fitness_storage.ml - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - commitment_storage.ml commitment_storage.mli - init_storage.ml - fees_storage.ml fees_storage.mli - sapling_validator.ml - alpha_context.ml alpha_context.mli - script_typed_ir.ml - script_tc_errors.ml - michelson_v1_gas.ml michelson_v1_gas.mli - script_ir_annot.ml script_ir_annot.mli - script_ir_translator.ml script_ir_translator.mli - script_tc_errors_registration.ml - script_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 - sapling_services.ml - 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} diff --git a/src/proto_009_PsFLoren/lib_protocol/dune b/src/proto_009_PsFLoren/lib_protocol/dune index 1298297d0676c678b9f62c5728cd27de163aa2fb..4ae25e8fec6f3f9c2b29fe5ed948f4ac55788b4c 100644 --- a/src/proto_009_PsFLoren/lib_protocol/dune +++ b/src/proto_009_PsFLoren/lib_protocol/dune @@ -134,86 +134,6 @@ (rule (targets protocol.ml) - (deps - misc.ml misc.mli - storage_description.ml storage_description.mli - state_hash.ml state_hash.mli - nonce_hash.ml nonce_hash.mli - script_expr_hash.ml script_expr_hash.mli - contract_hash.ml contract_hash.mli - blinded_public_key_hash.ml blinded_public_key_hash.mli - tez_repr.ml tez_repr.mli - period_repr.ml period_repr.mli - time_repr.ml time_repr.mli - fixed_point_repr.ml fixed_point_repr.mli - saturation_repr.ml saturation_repr.mli - gas_limit_repr.ml gas_limit_repr.mli - constants_repr.ml constants_repr.mli - fitness_repr.ml fitness_repr.mli - raw_level_repr.ml raw_level_repr.mli - cycle_repr.ml cycle_repr.mli - level_repr.ml level_repr.mli - seed_repr.ml seed_repr.mli - voting_period_repr.ml voting_period_repr.mli - script_int_repr.ml script_int_repr.mli - script_timestamp_repr.ml script_timestamp_repr.mli - michelson_v1_primitives.ml michelson_v1_primitives.mli - script_repr.ml script_repr.mli - contract_repr.ml contract_repr.mli - roll_repr.ml roll_repr.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - receipt_repr.ml receipt_repr.mli - raw_context_intf.ml - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - constants_storage.ml constants_storage.mli - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage.ml roll_storage.mli - delegate_storage.ml delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - fitness_storage.ml fitness_storage.mli - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - commitment_storage.ml commitment_storage.mli - init_storage.ml init_storage.mli - fees_storage.ml fees_storage.mli - sapling_validator.ml - alpha_context.ml alpha_context.mli - script_typed_ir.ml - script_tc_errors.ml - michelson_v1_gas.ml michelson_v1_gas.mli - script_ir_annot.ml script_ir_annot.mli - script_ir_translator.ml script_ir_translator.mli - script_tc_errors_registration.ml script_tc_errors_registration.mli - script_interpreter.ml script_interpreter.mli - baking.ml baking.mli - amendment.ml amendment.mli - apply_results.ml apply_results.mli - apply.ml apply.mli - services_registration.ml services_registration.mli - constants_services.ml constants_services.mli - sapling_services.ml - contract_services.ml contract_services.mli - delegate_services.ml delegate_services.mli - 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} diff --git a/src/proto_010_PtGRANAD/lib_protocol/dune b/src/proto_010_PtGRANAD/lib_protocol/dune index dc19fba9979209a0cdc661d54a9ae76483572e62..e069200650eaeb283a825a7e0a336e6a5ca52916 100644 --- a/src/proto_010_PtGRANAD/lib_protocol/dune +++ b/src/proto_010_PtGRANAD/lib_protocol/dune @@ -139,91 +139,6 @@ (rule (targets protocol.ml) - (deps - misc.ml misc.mli - storage_description.ml storage_description.mli - state_hash.ml state_hash.mli - nonce_hash.ml nonce_hash.mli - script_expr_hash.ml script_expr_hash.mli - contract_hash.ml contract_hash.mli - blinded_public_key_hash.ml blinded_public_key_hash.mli - tez_repr.ml tez_repr.mli - period_repr.ml period_repr.mli - time_repr.ml time_repr.mli - fixed_point_repr.ml fixed_point_repr.mli - saturation_repr.ml saturation_repr.mli - gas_limit_repr.ml gas_limit_repr.mli - constants_repr.ml constants_repr.mli - fitness_repr.ml fitness_repr.mli - raw_level_repr.ml raw_level_repr.mli - cycle_repr.ml cycle_repr.mli - level_repr.ml level_repr.mli - seed_repr.ml seed_repr.mli - voting_period_repr.ml voting_period_repr.mli - script_int_repr.ml script_int_repr.mli - script_timestamp_repr.ml script_timestamp_repr.mli - michelson_v1_primitives.ml michelson_v1_primitives.mli - script_repr.ml script_repr.mli - contract_repr.ml contract_repr.mli - roll_repr.ml roll_repr.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - receipt_repr.ml receipt_repr.mli - migration_repr.ml migration_repr.mli - raw_context_intf.ml - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - constants_storage.ml constants_storage.mli - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage.ml roll_storage.mli - delegate_storage.ml delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - fitness_storage.ml fitness_storage.mli - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - commitment_storage.ml commitment_storage.mli - fees_storage.ml fees_storage.mli - liquidity_baking_repr.ml liquidity_baking_repr.mli - liquidity_baking_cpmm.ml - liquidity_baking_lqt.ml - liquidity_baking_migration.ml liquidity_baking_migration.mli - init_storage.ml init_storage.mli - sapling_validator.ml - alpha_context.ml alpha_context.mli - script_typed_ir.ml - script_tc_errors.ml - michelson_v1_gas.ml michelson_v1_gas.mli - script_ir_annot.ml script_ir_annot.mli - script_ir_translator.ml script_ir_translator.mli - script_tc_errors_registration.ml script_tc_errors_registration.mli - script_interpreter_defs.ml - script_interpreter.ml script_interpreter.mli - baking.ml baking.mli - amendment.ml amendment.mli - apply_results.ml apply_results.mli - apply.ml apply.mli - services_registration.ml services_registration.mli - constants_services.ml constants_services.mli - sapling_services.ml - contract_services.ml contract_services.mli - delegate_services.ml delegate_services.mli - voting_services.ml voting_services.mli - alpha_services.ml alpha_services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_011_PtHangz2/lib_protocol/dune b/src/proto_011_PtHangz2/lib_protocol/dune index fc72160e4e7e0ac218c228141357f6096d2dc73e..215979b1906e88dfbb5229c675ca1d28abea7982 100644 --- a/src/proto_011_PtHangz2/lib_protocol/dune +++ b/src/proto_011_PtHangz2/lib_protocol/dune @@ -152,104 +152,6 @@ (rule (targets protocol.ml) - (deps - misc.ml misc.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 - contract_hash.ml contract_hash.mli - blinded_public_key_hash.ml blinded_public_key_hash.mli - tez_repr.ml tez_repr.mli - period_repr.ml period_repr.mli - time_repr.ml time_repr.mli - fixed_point_repr.ml fixed_point_repr.mli - saturation_repr.ml saturation_repr.mli - gas_limit_repr.ml gas_limit_repr.mli - constants_repr.ml constants_repr.mli - fitness_repr.ml fitness_repr.mli - raw_level_repr.ml raw_level_repr.mli - cycle_repr.ml cycle_repr.mli - level_repr.ml level_repr.mli - seed_repr.ml seed_repr.mli - voting_period_repr.ml voting_period_repr.mli - script_string_repr.ml script_string_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 - cache_memory_helpers.ml - contract_repr.ml contract_repr.mli - roll_repr.ml roll_repr.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - receipt_repr.ml receipt_repr.mli - migration_repr.ml migration_repr.mli - raw_context_intf.ml - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - constants_storage.ml constants_storage.mli - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage.ml roll_storage.mli - delegate_storage.ml delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - fitness_storage.ml fitness_storage.mli - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - commitment_storage.ml commitment_storage.mli - fees_storage.ml fees_storage.mli - liquidity_baking_repr.ml liquidity_baking_repr.mli - liquidity_baking_cpmm.ml - liquidity_baking_lqt.ml - liquidity_baking_migration.ml liquidity_baking_migration.mli - init_storage.ml init_storage.mli - sapling_validator.ml - global_constants_costs.ml global_constants_costs.mli - global_constants_storage.ml global_constants_storage.mli - cache_costs.ml cache_costs.mli - alpha_context.ml alpha_context.mli - script_tc_errors.ml - script_typed_ir.ml script_typed_ir.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_ir_annot.ml script_ir_annot.mli - script_list.ml script_list.mli - script_comparable.ml script_comparable.mli - script_set.ml script_set.mli - script_map.ml script_map.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 - script_interpreter_defs.ml - script_interpreter.ml script_interpreter.mli - baking.ml baking.mli - amendment.ml amendment.mli - apply_results.ml apply_results.mli - apply.ml apply.mli - services_registration.ml services_registration.mli - constants_services.ml constants_services.mli - sapling_services.ml - contract_services.ml contract_services.mli - delegate_services.ml delegate_services.mli - voting_services.ml voting_services.mli - alpha_services.ml alpha_services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_012_Psithaca/lib_protocol/dune b/src/proto_012_Psithaca/lib_protocol/dune index f2fec7d70ddddc02cde2263cce6be14356bb9721..18e3ab22a4bdb8a6b5d2cc7a71aefb3b8bbc690c 100644 --- a/src/proto_012_Psithaca/lib_protocol/dune +++ b/src/proto_012_Psithaca/lib_protocol/dune @@ -169,121 +169,6 @@ (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 - contract_hash.ml contract_hash.mli - blinded_public_key_hash.ml blinded_public_key_hash.mli - block_payload_hash.ml block_payload_hash.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 - 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_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 - seed_repr.ml seed_repr.mli - sampler.ml sampler.mli - voting_period_repr.ml voting_period_repr.mli - script_string_repr.ml script_string_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 - cache_memory_helpers.ml - contract_repr.ml contract_repr.mli - roll_repr_legacy.ml roll_repr_legacy.mli - vote_repr.ml vote_repr.mli - block_header_repr.ml block_header_repr.mli - operation_repr.ml operation_repr.mli - manager_repr.ml manager_repr.mli - commitment_repr.ml commitment_repr.mli - parameters_repr.ml parameters_repr.mli - sapling_repr.ml - lazy_storage_kind.ml lazy_storage_kind.mli - receipt_repr.ml receipt_repr.mli - migration_repr.ml migration_repr.mli - raw_context_intf.ml - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - cache_repr.ml cache_repr.mli - constants_storage.ml constants_storage.mli - level_storage.ml level_storage.mli - nonce_storage.ml nonce_storage.mli - seed_storage.ml seed_storage.mli - roll_storage_legacy.ml roll_storage_legacy.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 - stake_storage.ml stake_storage.mli - contract_delegate_storage.ml contract_delegate_storage.mli - sapling_storage.ml - lazy_storage_diff.ml lazy_storage_diff.mli - contract_storage.ml contract_storage.mli - commitment_storage.ml commitment_storage.mli - token.ml token.mli - delegate_storage.ml delegate_storage.mli - bootstrap_storage.ml bootstrap_storage.mli - voting_period_storage.ml voting_period_storage.mli - vote_storage.ml vote_storage.mli - fees_storage.ml fees_storage.mli - ticket_storage.ml ticket_storage.mli - liquidity_baking_repr.ml liquidity_baking_repr.mli - liquidity_baking_cpmm.ml - liquidity_baking_lqt.ml - liquidity_baking_migration.ml liquidity_baking_migration.mli - init_storage.ml init_storage.mli - sapling_validator.ml - global_constants_costs.ml global_constants_costs.mli - global_constants_storage.ml global_constants_storage.mli - alpha_context.ml alpha_context.mli - local_gas_counter.ml - gas_monad.ml gas_monad.mli - script_tc_errors.ml - script_ir_annot.ml script_ir_annot.mli - script_typed_ir.ml script_typed_ir.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_comparable.ml script_comparable.mli - script_set.ml script_set.mli - script_map.ml script_map.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_balance_key.ml ticket_balance_key.mli - script_interpreter_defs.ml - script_interpreter.ml script_interpreter.mli - baking.ml baking.mli - amendment.ml amendment.mli - apply_results.ml apply_results.mli - apply.ml apply.mli - services_registration.ml services_registration.mli - constants_services.ml constants_services.mli - sapling_services.ml - contract_services.ml contract_services.mli - delegate_services.ml delegate_services.mli - voting_services.ml voting_services.mli - alpha_services.ml alpha_services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_013_PtJakart/lib_protocol/dune b/src/proto_013_PtJakart/lib_protocol/dune index afc184e158048125004bd938a77d6f0ffd55bd01..46802dc360d8f211d87a1db4031cf0a1f80c16a8 100644 --- a/src/proto_013_PtJakart/lib_protocol/dune +++ b/src/proto_013_PtJakart/lib_protocol/dune @@ -234,187 +234,6 @@ (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 - contract_hash.ml contract_hash.mli - blinded_public_key_hash.ml blinded_public_key_hash.mli - block_payload_hash.ml block_payload_hash.mli - origination_nonce.ml origination_nonce.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 - 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_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 - seed_repr.ml seed_repr.mli - sampler.ml sampler.mli - voting_period_repr.ml voting_period_repr.mli - script_string_repr.ml script_string_repr.mli - script_int_repr.ml script_int_repr.mli - script_timestamp_repr.ml script_timestamp_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 - sc_rollup_tick_repr.ml sc_rollup_tick_repr.mli - raw_context_intf.ml - raw_context.ml raw_context.mli - storage_costs.ml storage_costs.mli - storage_sigs.ml - storage_functors.ml storage_functors.mli - storage.ml storage.mli - 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 - legacy_script_patches_for_J.ml - 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_storage.ml sc_rollup_storage.mli - alpha_context.ml alpha_context.mli - carbonated_map_costs.ml carbonated_map_costs.mli - carbonated_map.ml carbonated_map.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 - ticket_balance_migration_for_j.ml ticket_balance_migration_for_j.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_operations.ml sc_rollup_operations.mli - sc_rollup_PVM_sem.ml - sc_rollup_game.ml sc_rollup_game.mli - 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} diff --git a/src/proto_alpha/lib_protocol/dune b/src/proto_alpha/lib_protocol/dune index 9a8adc5e1fc9c284cda1121012d956ffc16fcb92..a14172d55b10fa99320b5eb609d5856faadc1de8 100644 --- a/src/proto_alpha/lib_protocol/dune +++ b/src/proto_alpha/lib_protocol/dune @@ -258,214 +258,6 @@ (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 - michelson_v1_primitives.ml michelson_v1_primitives.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 - 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 - contract_repr.ml contract_repr.mli - indexable.ml indexable.mli - entrypoint_repr.ml entrypoint_repr.mli - sc_rollup_repr.ml sc_rollup_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_outbox_message_repr.ml sc_rollup_outbox_message_repr.mli - sc_rollup_PVM_sem.ml sc_rollup_PVM_sem.mli - sc_rollup_arith.ml sc_rollup_arith.mli - sc_rollup_wasm.ml sc_rollup_wasm.mli - sc_rollups.ml sc_rollups.mli - skip_list_repr.ml skip_list_repr.mli - sc_rollup_data_version_sig.ml - sc_rollup_inbox_repr.ml sc_rollup_inbox_repr.mli - sc_rollup_commitment_repr.ml sc_rollup_commitment_repr.mli - sc_rollup_proof_repr.ml sc_rollup_proof_repr.mli - sc_rollup_game_repr.ml sc_rollup_game_repr.mli - contract_event_repr.ml contract_event_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 - dal_slot_repr.ml dal_slot_repr.mli - dal_endorsement_repr.ml dal_endorsement_repr.mli - dal_errors_repr.ml - 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_errors.ml - sc_rollup_commitment_storage.ml sc_rollup_commitment_storage.mli - sc_rollup_inbox_storage.ml sc_rollup_inbox_storage.mli - sc_rollup_outbox_storage.ml sc_rollup_outbox_storage.mli - sc_rollup_stake_storage.ml sc_rollup_stake_storage.mli - sc_rollup_refutation_storage.ml sc_rollup_refutation_storage.mli - sc_rollup_storage.ml sc_rollup_storage.mli - dal_slot_storage.ml dal_slot_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_operation_result.ml apply_operation_result.mli - apply_internal_results.ml apply_internal_results.mli - apply_results.ml apply_results.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_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_logging.ml script_interpreter_logging.mli - 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 - baking.ml baking.mli - amendment.ml amendment.mli - validate_operation.ml validate_operation.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} diff --git a/src/proto_demo_counter/lib_protocol/dune b/src/proto_demo_counter/lib_protocol/dune index 9a7b2f639f968d4fdf1b5461f09d19c259da54cf..cc1185e17d5eb8e6cb95a8517f1dfa18e459114a 100644 --- a/src/proto_demo_counter/lib_protocol/dune +++ b/src/proto_demo_counter/lib_protocol/dune @@ -62,16 +62,6 @@ (rule (targets protocol.ml) - (deps - error.ml error.mli - proto_params.ml proto_params.mli - header.ml header.mli - state.ml state.mli - proto_operation.ml proto_operation.mli - receipt.ml receipt.mli - apply.ml apply.mli - services.ml services.mli - main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_demo_noops/lib_protocol/dune b/src/proto_demo_noops/lib_protocol/dune index 3b1156ef45db1aaab8a0461d23e523184b4e2257..d1dfb9af0a6b8f5b1fb2ba67c2b4c2ad41477840 100644 --- a/src/proto_demo_noops/lib_protocol/dune +++ b/src/proto_demo_noops/lib_protocol/dune @@ -53,7 +53,6 @@ (rule (targets protocol.ml) - (deps main.ml main.mli) (action (write-file %{targets} diff --git a/src/proto_genesis/lib_protocol/dune b/src/proto_genesis/lib_protocol/dune index eadde9cfba2534c6684054cf93bed28bcaee8152..d098d481f392805e57a24b2cec000599c2cde293 100644 --- a/src/proto_genesis/lib_protocol/dune +++ b/src/proto_genesis/lib_protocol/dune @@ -53,9 +53,6 @@ (rule (targets protocol.ml) - (deps data.ml - services.ml - main.ml main.mli) (action (write-file %{targets}