Dune: remove src in proto_*/lib_protocol

2019-02-04 17:15:00 +01:00 · 2019-02-04 17:15:00 +01:00 · 28f680ab91
commit 28f680ab91
parent c3dd98dc0f
143 changed files with 83 additions and 84 deletions
--- a/6
+++ b/6
@ -38,12 +38,12 @@ endif
 	 done

 PROTOCOLS := genesis alpha demo
-DUNE_INCS=$(patsubst %,src/proto_%/lib_protocol/src/dune.inc, ${PROTOCOLS})
+DUNE_INCS=$(patsubst %,src/proto_%/lib_protocol/dune.inc, ${PROTOCOLS})

 generate_dune: ${DUNE_INCS}

-${DUNE_INCS}:: src/proto_%/lib_protocol/src/dune.inc: \
-  src/proto_%/lib_protocol/src/TEZOS_PROTOCOL
+${DUNE_INCS}:: src/proto_%/lib_protocol/dune.inc: \
+  src/proto_%/lib_protocol/TEZOS_PROTOCOL
 	dune build @$(dir $@)/runtest_dune_template --auto-promote
 	touch $@

--- a/src/proto_alpha/lib_protocol/src/TEZOS_PROTOCOL
+++ b/src/proto_alpha/lib_protocol/src/TEZOS_PROTOCOL
--- a/src/proto_alpha/lib_protocol/src/alpha_context.ml
+++ b/src/proto_alpha/lib_protocol/src/alpha_context.ml
--- a/src/proto_alpha/lib_protocol/src/alpha_context.mli
+++ b/src/proto_alpha/lib_protocol/src/alpha_context.mli
--- a/src/proto_alpha/lib_protocol/src/alpha_services.ml
+++ b/src/proto_alpha/lib_protocol/src/alpha_services.ml
--- a/src/proto_alpha/lib_protocol/src/alpha_services.mli
+++ b/src/proto_alpha/lib_protocol/src/alpha_services.mli
--- a/src/proto_alpha/lib_protocol/src/amendment.ml
+++ b/src/proto_alpha/lib_protocol/src/amendment.ml
--- a/src/proto_alpha/lib_protocol/src/amendment.mli
+++ b/src/proto_alpha/lib_protocol/src/amendment.mli
--- a/src/proto_alpha/lib_protocol/src/apply.ml
+++ b/src/proto_alpha/lib_protocol/src/apply.ml
--- a/src/proto_alpha/lib_protocol/src/apply_results.ml
+++ b/src/proto_alpha/lib_protocol/src/apply_results.ml
--- a/src/proto_alpha/lib_protocol/src/apply_results.mli
+++ b/src/proto_alpha/lib_protocol/src/apply_results.mli
--- a/src/proto_alpha/lib_protocol/src/baking.ml
+++ b/src/proto_alpha/lib_protocol/src/baking.ml
--- a/src/proto_alpha/lib_protocol/src/baking.mli
+++ b/src/proto_alpha/lib_protocol/src/baking.mli
--- a/src/proto_alpha/lib_protocol/src/blinded_public_key_hash.ml
+++ b/src/proto_alpha/lib_protocol/src/blinded_public_key_hash.ml
--- a/src/proto_alpha/lib_protocol/src/blinded_public_key_hash.mli
+++ b/src/proto_alpha/lib_protocol/src/blinded_public_key_hash.mli
--- a/src/proto_alpha/lib_protocol/src/block_header_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/block_header_repr.ml
--- a/src/proto_alpha/lib_protocol/src/block_header_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/block_header_repr.mli
--- a/src/proto_alpha/lib_protocol/src/bootstrap_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/bootstrap_storage.ml
--- a/src/proto_alpha/lib_protocol/src/bootstrap_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/bootstrap_storage.mli
--- a/src/proto_alpha/lib_protocol/src/commitment_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/commitment_repr.ml
--- a/src/proto_alpha/lib_protocol/src/commitment_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/commitment_repr.mli
--- a/src/proto_alpha/lib_protocol/src/commitment_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/commitment_storage.ml
--- a/src/proto_alpha/lib_protocol/src/commitment_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/commitment_storage.mli
--- a/src/proto_alpha/lib_protocol/src/constants_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/constants_repr.ml
--- a/src/proto_alpha/lib_protocol/src/constants_services.ml
+++ b/src/proto_alpha/lib_protocol/src/constants_services.ml
--- a/src/proto_alpha/lib_protocol/src/constants_services.mli
+++ b/src/proto_alpha/lib_protocol/src/constants_services.mli
--- a/src/proto_alpha/lib_protocol/src/constants_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/constants_storage.ml
--- a/src/proto_alpha/lib_protocol/src/contract_hash.ml
+++ b/src/proto_alpha/lib_protocol/src/contract_hash.ml
--- a/src/proto_alpha/lib_protocol/src/contract_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/contract_repr.ml
--- a/src/proto_alpha/lib_protocol/src/contract_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/contract_repr.mli
--- a/src/proto_alpha/lib_protocol/src/contract_services.ml
+++ b/src/proto_alpha/lib_protocol/src/contract_services.ml
--- a/src/proto_alpha/lib_protocol/src/contract_services.mli
+++ b/src/proto_alpha/lib_protocol/src/contract_services.mli
--- a/src/proto_alpha/lib_protocol/src/contract_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/contract_storage.ml
--- a/src/proto_alpha/lib_protocol/src/contract_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/contract_storage.mli
--- a/src/proto_alpha/lib_protocol/src/cycle_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/cycle_repr.ml
--- a/src/proto_alpha/lib_protocol/src/cycle_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/cycle_repr.mli
--- a/src/proto_alpha/lib_protocol/src/delegate_services.ml
+++ b/src/proto_alpha/lib_protocol/src/delegate_services.ml
--- a/src/proto_alpha/lib_protocol/src/delegate_services.mli
+++ b/src/proto_alpha/lib_protocol/src/delegate_services.mli
--- a/src/proto_alpha/lib_protocol/src/delegate_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/delegate_storage.ml
--- a/src/proto_alpha/lib_protocol/src/delegate_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/delegate_storage.mli
--- a/src/proto_alpha/lib_protocol/dune
+++ b/src/proto_alpha/lib_protocol/dune
@ -0,0 +1 @@
+../../lib_protocol_compiler/dune_protocol
--- a/src/proto_alpha/lib_protocol/src/dune.inc
+++ b/src/proto_alpha/lib_protocol/src/dune.inc
--- a/src/proto_alpha/lib_protocol/src/fees_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/fees_storage.ml
--- a/src/proto_alpha/lib_protocol/src/fees_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/fees_storage.mli
--- a/src/proto_alpha/lib_protocol/src/fitness_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/fitness_repr.ml
--- a/src/proto_alpha/lib_protocol/src/fitness_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/fitness_storage.ml
--- a/src/proto_alpha/lib_protocol/src/gas_limit_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/gas_limit_repr.ml
--- a/src/proto_alpha/lib_protocol/src/gas_limit_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/gas_limit_repr.mli
--- a/src/proto_alpha/lib_protocol/src/helpers_services.ml
+++ b/src/proto_alpha/lib_protocol/src/helpers_services.ml
--- a/src/proto_alpha/lib_protocol/src/helpers_services.mli
+++ b/src/proto_alpha/lib_protocol/src/helpers_services.mli
--- a/src/proto_alpha/lib_protocol/src/init_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/init_storage.ml
--- a/src/proto_alpha/lib_protocol/src/level_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/level_repr.ml
--- a/src/proto_alpha/lib_protocol/src/level_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/level_repr.mli
--- a/src/proto_alpha/lib_protocol/src/level_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/level_storage.ml
--- a/src/proto_alpha/lib_protocol/src/level_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/level_storage.mli
--- a/src/proto_alpha/lib_protocol/src/main.ml
+++ b/src/proto_alpha/lib_protocol/src/main.ml
--- a/src/proto_alpha/lib_protocol/src/main.mli
+++ b/src/proto_alpha/lib_protocol/src/main.mli
--- a/src/proto_alpha/lib_protocol/src/manager_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/manager_repr.ml
--- a/src/proto_alpha/lib_protocol/src/manager_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/manager_repr.mli
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_gas.ml
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_gas.ml
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_gas.mli
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_gas.mli
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.mli
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.mli
--- a/src/proto_alpha/lib_protocol/src/misc.ml
+++ b/src/proto_alpha/lib_protocol/src/misc.ml
--- a/src/proto_alpha/lib_protocol/src/misc.mli
+++ b/src/proto_alpha/lib_protocol/src/misc.mli
--- a/src/proto_alpha/lib_protocol/src/nonce_hash.ml
+++ b/src/proto_alpha/lib_protocol/src/nonce_hash.ml
--- a/src/proto_alpha/lib_protocol/src/nonce_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/nonce_storage.ml
--- a/src/proto_alpha/lib_protocol/src/nonce_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/nonce_storage.mli
--- a/src/proto_alpha/lib_protocol/src/operation_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/operation_repr.ml
--- a/src/proto_alpha/lib_protocol/src/operation_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/operation_repr.mli
--- a/src/proto_alpha/lib_protocol/src/parameters_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/parameters_repr.ml
--- a/src/proto_alpha/lib_protocol/src/parameters_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/parameters_repr.mli
--- a/src/proto_alpha/lib_protocol/src/period_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/period_repr.ml
--- a/src/proto_alpha/lib_protocol/src/period_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/period_repr.mli
--- a/src/proto_alpha/lib_protocol/src/qty_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/qty_repr.ml
--- a/src/proto_alpha/lib_protocol/src/raw_context.ml
+++ b/src/proto_alpha/lib_protocol/src/raw_context.ml
--- a/src/proto_alpha/lib_protocol/src/raw_context.mli
+++ b/src/proto_alpha/lib_protocol/src/raw_context.mli
--- a/src/proto_alpha/lib_protocol/src/raw_level_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/raw_level_repr.ml
--- a/src/proto_alpha/lib_protocol/src/raw_level_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/raw_level_repr.mli
--- a/src/proto_alpha/lib_protocol/src/roll_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/roll_repr.ml
--- a/src/proto_alpha/lib_protocol/src/roll_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/roll_repr.mli
--- a/src/proto_alpha/lib_protocol/src/roll_storage.ml
+++ b/src/proto_alpha/lib_protocol/src/roll_storage.ml
--- a/src/proto_alpha/lib_protocol/src/roll_storage.mli
+++ b/src/proto_alpha/lib_protocol/src/roll_storage.mli
--- a/src/proto_alpha/lib_protocol/src/script_expr_hash.ml
+++ b/src/proto_alpha/lib_protocol/src/script_expr_hash.ml
--- a/src/proto_alpha/lib_protocol/src/script_int_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/script_int_repr.ml
--- a/src/proto_alpha/lib_protocol/src/script_int_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/script_int_repr.mli
--- a/src/proto_alpha/lib_protocol/src/script_interpreter.ml
+++ b/src/proto_alpha/lib_protocol/src/script_interpreter.ml
--- a/src/proto_alpha/lib_protocol/src/script_interpreter.mli
+++ b/src/proto_alpha/lib_protocol/src/script_interpreter.mli
--- a/src/proto_alpha/lib_protocol/src/script_ir_annot.ml
+++ b/src/proto_alpha/lib_protocol/src/script_ir_annot.ml
--- a/src/proto_alpha/lib_protocol/src/script_ir_annot.mli
+++ b/src/proto_alpha/lib_protocol/src/script_ir_annot.mli
--- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml
+++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml
--- a/src/proto_alpha/lib_protocol/src/script_ir_translator.mli
+++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.mli
--- a/src/proto_alpha/lib_protocol/src/script_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/script_repr.ml
--- a/src/proto_alpha/lib_protocol/src/script_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/script_repr.mli
--- a/src/proto_alpha/lib_protocol/src/script_tc_errors.ml
+++ b/src/proto_alpha/lib_protocol/src/script_tc_errors.ml
--- a/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml
+++ b/src/proto_alpha/lib_protocol/src/script_tc_errors_registration.ml
--- a/src/proto_alpha/lib_protocol/src/script_timestamp_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/script_timestamp_repr.ml
--- a/src/proto_alpha/lib_protocol/src/script_timestamp_repr.mli
+++ b/src/proto_alpha/lib_protocol/src/script_timestamp_repr.mli
--- a/src/proto_alpha/lib_protocol/src/script_typed_ir.ml
+++ b/src/proto_alpha/lib_protocol/src/script_typed_ir.ml
--- a/src/proto_alpha/lib_protocol/src/seed_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/seed_repr.ml
--- a/Show More
+++ b/Show More