From abc4f5ae9fe34249e149f100d44b9dc222d89a80 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Tue, 21 Jun 2022 13:24:05 +0200 Subject: [PATCH] Protocol: fix dune deps --- manifest/main.ml | 1 - src/proto_000_Ps9mPmXa/lib_protocol/dune | 3 - src/proto_001_PtCJ7pwo/lib_protocol/dune | 68 -------- src/proto_002_PsYLVpVv/lib_protocol/dune | 68 -------- src/proto_003_PsddFKi3/lib_protocol/dune | 69 -------- src/proto_004_Pt24m4xi/lib_protocol/dune | 69 -------- src/proto_005_PsBABY5H/lib_protocol/dune | 70 -------- src/proto_005_PsBabyM1/lib_protocol/dune | 70 -------- src/proto_006_PsCARTHA/lib_protocol/dune | 70 -------- src/proto_007_PsDELPH1/lib_protocol/dune | 72 -------- src/proto_008_PtEdo2Zk/lib_protocol/dune | 77 --------- src/proto_008_PtEdoTez/lib_protocol/dune | 77 --------- src/proto_009_PsFLoren/lib_protocol/dune | 80 --------- src/proto_010_PtGRANAD/lib_protocol/dune | 85 --------- src/proto_011_PtHangz2/lib_protocol/dune | 98 ----------- src/proto_012_Psithaca/lib_protocol/dune | 115 ------------- src/proto_013_PtJakart/lib_protocol/dune | 181 -------------------- src/proto_alpha/lib_protocol/dune | 208 ----------------------- src/proto_demo_counter/lib_protocol/dune | 10 -- src/proto_demo_noops/lib_protocol/dune | 1 - src/proto_genesis/lib_protocol/dune | 3 - 21 files changed, 1495 deletions(-) diff --git a/manifest/main.ml b/manifest/main.ml index 55a004ede15c..30fb0256b23c 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 58ce0bf12ebe..787a0c104e3f 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 8c60cee2b464..5ee564582ef2 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 d3f2396002e3..4b8f316f106d 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 8667695ff876..51218ea300c7 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 dc66d652e643..0f525fcea322 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 c4e6e51224be..1f234b11a7cd 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 c3bfebcfcad1..01eaf41aee51 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 027c920287e2..4afd2869b36b 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 c9f1c061a20d..c5674ebb79a4 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 4ae52ab0c924..0861d0b09df6 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 3bb5e7df9773..8b1969bf86f4 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 1298297d0676..4ae25e8fec6f 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 dc19fba99792..e069200650ea 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 fc72160e4e7e..215979b1906e 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 f2fec7d70ddd..18e3ab22a4bd 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 afc184e15804..46802dc360d8 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 9a8adc5e1fc9..a14172d55b10 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 9a7b2f639f96..cc1185e17d5e 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 3b1156ef45db..d1dfb9af0a6b 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 eadde9cfba25..d098d481f392 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} -- GitLab