diff --git a/.gitlab/ci/opam-ci.yml b/.gitlab/ci/opam-ci.yml index 36b23d572a88558b29ae97c7a487bb6d6bb76e0a..b73f71950f024417ed74db41ee0ccf65ed97f3e7 100644 --- a/.gitlab/ci/opam-ci.yml +++ b/.gitlab/ci/opam-ci.yml @@ -647,11 +647,6 @@ opam:tezos-protocol-008-PtEdo2Zk: variables: package: tezos-protocol-008-PtEdo2Zk -opam:tezos-protocol-008-PtEdo2Zk-parameters: - extends: .opam_template - variables: - package: tezos-protocol-008-PtEdo2Zk-parameters - opam:tezos-protocol-008-PtEdoTez: extends: .opam_template variables: @@ -662,41 +657,21 @@ opam:tezos-protocol-009-PsFLoren: variables: package: tezos-protocol-009-PsFLoren -opam:tezos-protocol-009-PsFLoren-parameters: - extends: .opam_template - variables: - package: tezos-protocol-009-PsFLoren-parameters - opam:tezos-protocol-010-PtGRANAD: extends: .opam_template variables: package: tezos-protocol-010-PtGRANAD -opam:tezos-protocol-010-PtGRANAD-parameters: - extends: .opam_template - variables: - package: tezos-protocol-010-PtGRANAD-parameters - opam:tezos-protocol-011-PtHangz2: extends: .opam_template variables: package: tezos-protocol-011-PtHangz2 -opam:tezos-protocol-011-PtHangz2-parameters: - extends: .opam_template - variables: - package: tezos-protocol-011-PtHangz2-parameters - opam:tezos-protocol-012-Psithaca: extends: .opam_template variables: package: tezos-protocol-012-Psithaca -opam:tezos-protocol-012-Psithaca-parameters: - extends: .opam_template - variables: - package: tezos-protocol-012-Psithaca-parameters - # Ignoring package tezos-protocol-012-Psithaca-tests, it only contains tests or private targets opam:tezos-protocol-013-PtJakart: @@ -704,11 +679,6 @@ opam:tezos-protocol-013-PtJakart: variables: package: tezos-protocol-013-PtJakart -opam:tezos-protocol-013-PtJakart-parameters: - extends: .opam_template - variables: - package: tezos-protocol-013-PtJakart-parameters - # Ignoring package tezos-protocol-013-PtJakart-tests, it only contains tests or private targets opam:tezos-protocol-alpha: @@ -716,11 +686,6 @@ opam:tezos-protocol-alpha: variables: package: tezos-protocol-alpha -opam:tezos-protocol-alpha-parameters: - extends: .opam_template - variables: - package: tezos-protocol-alpha-parameters - # Ignoring package tezos-protocol-alpha-tests, it only contains tests or private targets opam:tezos-protocol-compiler: diff --git a/dune-project b/dune-project index 52906695fe6f658b5a2e14efe13d4ce0045df026..ca7bef7cacb611407bdad92d54f1d8408e681844 100644 --- a/dune-project +++ b/dune-project @@ -133,22 +133,15 @@ (package (name tezos-protocol-006-PsCARTHA)) (package (name tezos-protocol-007-PsDELPH1)) (package (name tezos-protocol-008-PtEdo2Zk)) -(package (name tezos-protocol-008-PtEdo2Zk-parameters)) (package (name tezos-protocol-008-PtEdoTez)) (package (name tezos-protocol-009-PsFLoren)) -(package (name tezos-protocol-009-PsFLoren-parameters)) (package (name tezos-protocol-010-PtGRANAD)) -(package (name tezos-protocol-010-PtGRANAD-parameters)) (package (name tezos-protocol-011-PtHangz2)) -(package (name tezos-protocol-011-PtHangz2-parameters)) (package (name tezos-protocol-012-Psithaca)) -(package (name tezos-protocol-012-Psithaca-parameters)) (package (name tezos-protocol-012-Psithaca-tests)) (package (name tezos-protocol-013-PtJakart)) -(package (name tezos-protocol-013-PtJakart-parameters)) (package (name tezos-protocol-013-PtJakart-tests)) (package (name tezos-protocol-alpha)) -(package (name tezos-protocol-alpha-parameters)) (package (name tezos-protocol-alpha-tests)) (package (name tezos-protocol-compiler)) (package (name tezos-protocol-demo-counter)) diff --git a/manifest/main.ml b/manifest/main.ml index 8162f287c42b3eb02541d9f1a388384916212764..a7dd4811f58915d44950498f3c0b84139e06bb4b 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -3515,9 +3515,8 @@ include Tezos_raw_protocol_%s.Main let parameters = some_if (N.(number >= 008) && not_overridden) @@ fun () -> public_lib - (sf "tezos-protocol-%s-parameters" name_dash) + (sf "tezos-protocol-%s.parameters" name_dash) ~path:(sf "src/proto_%s/lib_parameters" name_underscore) - ~synopsis:"Tezos/Protocol: parameters" ~all_modules_except:["gen"] ~deps: [ @@ -3532,7 +3531,7 @@ include Tezos_raw_protocol_%s.Main private_exe "gen" ~path:(sf "src/proto_%s/lib_parameters" name_underscore) - ~opam:(sf "tezos-protocol-%s-parameters" name_dash) + ~opam:(sf "tezos-protocol-%s" name_dash) ~deps: [ tezos_base |> open_ ~m:"TzPervasives"; @@ -3560,7 +3559,7 @@ include Tezos_raw_protocol_%s.Main S "test-parameters.json"; S "mainnet-parameters.json"; ] - ~package:(sf "tezos-protocol-%s-parameters" name_dash) + ~package:(sf "tezos-protocol-%s" name_dash) ~section:"lib"; ]) ~bisect_ppx:false diff --git a/opam/tezos-012-Psithaca-test-helpers.opam b/opam/tezos-012-Psithaca-test-helpers.opam index 0c66999d4e7ccf7d0f7de83fef5e8c19d7a510b9..af898fbffa638a48679c678879202d10013a4c6b 100644 --- a/opam/tezos-012-Psithaca-test-helpers.opam +++ b/opam/tezos-012-Psithaca-test-helpers.opam @@ -17,7 +17,6 @@ depends: [ "tezos-stdlib-unix" "tezos-protocol-012-Psithaca" "tezos-client-012-Psithaca" - "tezos-protocol-012-Psithaca-parameters" "tezos-protocol-environment" "tezos-protocol-plugin-012-Psithaca" "tezos-shell-services" diff --git a/opam/tezos-013-PtJakart-test-helpers.opam b/opam/tezos-013-PtJakart-test-helpers.opam index 00276105068910f61ca0ef213c97133a3bcc2067..cef2c5d32bc692072dba634d15ff47eed6ebe3b4 100644 --- a/opam/tezos-013-PtJakart-test-helpers.opam +++ b/opam/tezos-013-PtJakart-test-helpers.opam @@ -17,7 +17,6 @@ depends: [ "tezos-stdlib-unix" "tezos-protocol-013-PtJakart" "tezos-client-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-protocol-environment" "tezos-protocol-plugin-013-PtJakart" "tezos-shell-services" diff --git a/opam/tezos-alpha-test-helpers.opam b/opam/tezos-alpha-test-helpers.opam index 40c411cdb452b219b79f94f224ca1b8f7a62679e..bc48912ae998466f63d31dbb305c86e0dbfad130 100644 --- a/opam/tezos-alpha-test-helpers.opam +++ b/opam/tezos-alpha-test-helpers.opam @@ -17,7 +17,6 @@ depends: [ "tezos-stdlib-unix" "tezos-protocol-alpha" "tezos-client-alpha" - "tezos-protocol-alpha-parameters" "tezos-protocol-environment" "tezos-protocol-plugin-alpha" "tezos-shell-services" diff --git a/opam/tezos-baking-012-Psithaca.opam b/opam/tezos-baking-012-Psithaca.opam index 8622671f7d8dd322ae2733851b03714d2c2eb5b2..183509f35e89dabd46e5b56b3c126134c9c2f851 100644 --- a/opam/tezos-baking-012-Psithaca.opam +++ b/opam/tezos-baking-012-Psithaca.opam @@ -28,7 +28,6 @@ depends: [ "lwt-canceler" { >= "0.3" & < "0.4" } "lwt-exit" "tezos-client-base-unix" - "tezos-protocol-012-Psithaca-parameters" "tezos-mockup" "tezos-mockup-proxy" "tezos-mockup-commands" diff --git a/opam/tezos-baking-013-PtJakart.opam b/opam/tezos-baking-013-PtJakart.opam index 59ac063df5812cd833b71b79325f2eb8b7db037d..c5b0ae4480830cc6b06e94922583ce94568bb6bf 100644 --- a/opam/tezos-baking-013-PtJakart.opam +++ b/opam/tezos-baking-013-PtJakart.opam @@ -29,7 +29,6 @@ depends: [ "lwt-exit" "data-encoding" { >= "0.5.3" & < "0.6" } "tezos-client-base-unix" - "tezos-protocol-013-PtJakart-parameters" "tezos-mockup" "tezos-mockup-proxy" "tezos-mockup-commands" diff --git a/opam/tezos-baking-alpha.opam b/opam/tezos-baking-alpha.opam index c48a93ff516160b8a77bf51167a9e698ab16d63b..f4fdb5bc1b4535d8d6ca794061b69889656e6ebd 100644 --- a/opam/tezos-baking-alpha.opam +++ b/opam/tezos-baking-alpha.opam @@ -29,7 +29,6 @@ depends: [ "lwt-exit" "data-encoding" { >= "0.5.3" & < "0.6" } "tezos-client-base-unix" - "tezos-protocol-alpha-parameters" "tezos-mockup" "tezos-mockup-proxy" "tezos-mockup-commands" diff --git a/opam/tezos-benchmark-012-Psithaca.opam b/opam/tezos-benchmark-012-Psithaca.opam index 40fe328897bcf4128389449280e919d2762948d9..22fc9be89c5f378b6afcd02ebecc8f7e07a16798 100644 --- a/opam/tezos-benchmark-012-Psithaca.opam +++ b/opam/tezos-benchmark-012-Psithaca.opam @@ -18,7 +18,6 @@ depends: [ "tezos-benchmark-type-inference-012-Psithaca" "tezos-protocol-012-Psithaca" "tezos-crypto" - "tezos-protocol-012-Psithaca-parameters" "hashcons" "tezos-012-Psithaca-test-helpers" "prbnmcn-stats" { = "0.0.4" } diff --git a/opam/tezos-benchmark-013-PtJakart.opam b/opam/tezos-benchmark-013-PtJakart.opam index ed877c4fec6930c00c44124fed24e44d33081aa9..bf7c9bcb6bd49befe499f6a387a4098f3f5dfbd1 100644 --- a/opam/tezos-benchmark-013-PtJakart.opam +++ b/opam/tezos-benchmark-013-PtJakart.opam @@ -18,7 +18,6 @@ depends: [ "tezos-benchmark-type-inference-013-PtJakart" "tezos-protocol-013-PtJakart" "tezos-crypto" - "tezos-protocol-013-PtJakart-parameters" "hashcons" "tezos-013-PtJakart-test-helpers" "prbnmcn-stats" { = "0.0.4" } diff --git a/opam/tezos-benchmark-alpha.opam b/opam/tezos-benchmark-alpha.opam index 8443fd0a3cd5df1e7a51f268749b460262cdbcbd..5ae78dec113650d0054330c14945798fca4aad89 100644 --- a/opam/tezos-benchmark-alpha.opam +++ b/opam/tezos-benchmark-alpha.opam @@ -18,7 +18,6 @@ depends: [ "tezos-benchmark-type-inference-alpha" "tezos-protocol-alpha" "tezos-crypto" - "tezos-protocol-alpha-parameters" "hashcons" "tezos-alpha-test-helpers" "prbnmcn-stats" { = "0.0.4" } diff --git a/opam/tezos-benchmarks-proto-012-Psithaca.opam b/opam/tezos-benchmarks-proto-012-Psithaca.opam index be4bac10620c3c0840c52a3b94486833b8e6fdac..bcab6c35e77809e073956475a3cd9df4257bf319 100644 --- a/opam/tezos-benchmarks-proto-012-Psithaca.opam +++ b/opam/tezos-benchmarks-proto-012-Psithaca.opam @@ -12,11 +12,10 @@ depends: [ "tezos-stdlib" "tezos-base" "tezos-error-monad" - "tezos-protocol-012-Psithaca-parameters" + "tezos-protocol-012-Psithaca" "tezos-benchmark" "tezos-benchmark-012-Psithaca" "tezos-benchmark-type-inference-012-Psithaca" - "tezos-protocol-012-Psithaca" "tezos-crypto" "tezos-shell-benchmarks" "tezos-micheline" diff --git a/opam/tezos-benchmarks-proto-013-PtJakart.opam b/opam/tezos-benchmarks-proto-013-PtJakart.opam index 11b8485774c158a579b8a3d6147c5637e65724d9..fa4d26a1872c8c5afa44e1f4cb869e498bdf45af 100644 --- a/opam/tezos-benchmarks-proto-013-PtJakart.opam +++ b/opam/tezos-benchmarks-proto-013-PtJakart.opam @@ -12,11 +12,10 @@ depends: [ "tezos-stdlib" "tezos-base" "tezos-error-monad" - "tezos-protocol-013-PtJakart-parameters" + "tezos-protocol-013-PtJakart" "tezos-benchmark" "tezos-benchmark-013-PtJakart" "tezos-benchmark-type-inference-013-PtJakart" - "tezos-protocol-013-PtJakart" "tezos-crypto" "tezos-shell-benchmarks" "tezos-micheline" diff --git a/opam/tezos-benchmarks-proto-alpha.opam b/opam/tezos-benchmarks-proto-alpha.opam index 89ced3534117b93573fbcbb934b9ca60971f4949..bfb620f3d63e5f5c8809a727f751adef3693f2da 100644 --- a/opam/tezos-benchmarks-proto-alpha.opam +++ b/opam/tezos-benchmarks-proto-alpha.opam @@ -12,11 +12,10 @@ depends: [ "tezos-stdlib" "tezos-base" "tezos-error-monad" - "tezos-protocol-alpha-parameters" + "tezos-protocol-alpha" "tezos-benchmark" "tezos-benchmark-alpha" "tezos-benchmark-type-inference-alpha" - "tezos-protocol-alpha" "tezos-crypto" "tezos-shell-benchmarks" "tezos-micheline" diff --git a/opam/tezos-client-008-PtEdo2Zk.opam b/opam/tezos-client-008-PtEdo2Zk.opam index 5b510b611894990b6e37032bec424e86a20f5d37..274410b0be7f438bae661bbf2bbe2434761b4aa5 100644 --- a/opam/tezos-client-008-PtEdo2Zk.opam +++ b/opam/tezos-client-008-PtEdo2Zk.opam @@ -17,7 +17,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-008-PtEdo2Zk" - "tezos-protocol-008-PtEdo2Zk-parameters" "tezos-rpc" ] build: [ diff --git a/opam/tezos-client-009-PsFLoren.opam b/opam/tezos-client-009-PsFLoren.opam index 95f339ab93ee426fc25bfb4a7260f01efb473497..b86a79c9a9b92a3909a38dfee77b93a8eda4a4cf 100644 --- a/opam/tezos-client-009-PsFLoren.opam +++ b/opam/tezos-client-009-PsFLoren.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-009-PsFLoren" - "tezos-protocol-009-PsFLoren-parameters" "tezos-rpc" ] build: [ diff --git a/opam/tezos-client-010-PtGRANAD.opam b/opam/tezos-client-010-PtGRANAD.opam index 191e84b285ac7257235c6559fcbaf6c82c19a2a0..deb39ded124c21a24b277b924ea47cda3dd4cf3d 100644 --- a/opam/tezos-client-010-PtGRANAD.opam +++ b/opam/tezos-client-010-PtGRANAD.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-010-PtGRANAD" - "tezos-protocol-010-PtGRANAD-parameters" "tezos-rpc" ] build: [ diff --git a/opam/tezos-client-011-PtHangz2.opam b/opam/tezos-client-011-PtHangz2.opam index 3d90a1f1cd48ee65866221aaa51eb239adfebc03..e26c0cc50674627bc961b6eafed5b44a5564624f 100644 --- a/opam/tezos-client-011-PtHangz2.opam +++ b/opam/tezos-client-011-PtHangz2.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-011-PtHangz2" - "tezos-protocol-011-PtHangz2-parameters" "tezos-rpc" "tezos-micheline" {with-test} "tezos-base-test-helpers" {with-test} diff --git a/opam/tezos-client-012-Psithaca.opam b/opam/tezos-client-012-Psithaca.opam index eb70932b83040c9299baf726e170e8d9f0202556..7b0cd6b88155115de1f6391aba74853f39683d60 100644 --- a/opam/tezos-client-012-Psithaca.opam +++ b/opam/tezos-client-012-Psithaca.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-012-Psithaca" - "tezos-protocol-012-Psithaca-parameters" "tezos-rpc" "tezos-micheline" {with-test} "tezos-base-test-helpers" {with-test} diff --git a/opam/tezos-client-013-PtJakart-commands-registration.opam b/opam/tezos-client-013-PtJakart-commands-registration.opam index 4f576c0ace1ba17565e1de6630c1b060c74e19cb..50ae6a5552b603b45c70cd136155086b6347cc74 100644 --- a/opam/tezos-client-013-PtJakart-commands-registration.opam +++ b/opam/tezos-client-013-PtJakart-commands-registration.opam @@ -11,7 +11,6 @@ depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-base" "tezos-protocol-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-protocol-environment" "tezos-shell-services" "tezos-client-base" diff --git a/opam/tezos-client-013-PtJakart-commands.opam b/opam/tezos-client-013-PtJakart-commands.opam index 4607b3e5ce6341d2010be1353ea54b796f065b11..5f68535eab932675a3b08e8f63deb548d8b47af4 100644 --- a/opam/tezos-client-013-PtJakart-commands.opam +++ b/opam/tezos-client-013-PtJakart-commands.opam @@ -11,7 +11,6 @@ depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-base" "tezos-protocol-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-stdlib-unix" "tezos-protocol-environment" "tezos-shell-services" diff --git a/opam/tezos-client-013-PtJakart.opam b/opam/tezos-client-013-PtJakart.opam index 76fa51ca96bf497ed03ec90c2d43bef63bc8e7ab..8c359620c515ba4e261a0d63e840657a7c4539ee 100644 --- a/opam/tezos-client-013-PtJakart.opam +++ b/opam/tezos-client-013-PtJakart.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-rpc" "tezos-micheline" {with-test} "tezos-base-test-helpers" {with-test} diff --git a/opam/tezos-client-alpha-commands-registration.opam b/opam/tezos-client-alpha-commands-registration.opam index e146d0d6a449bfb8aa416c90a65f4a4814d6f7b1..12977c78d37896ebfab830bae9e3a20a57583e2a 100644 --- a/opam/tezos-client-alpha-commands-registration.opam +++ b/opam/tezos-client-alpha-commands-registration.opam @@ -11,7 +11,6 @@ depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-base" "tezos-protocol-alpha" - "tezos-protocol-alpha-parameters" "tezos-protocol-environment" "tezos-shell-services" "tezos-client-base" diff --git a/opam/tezos-client-alpha-commands.opam b/opam/tezos-client-alpha-commands.opam index d0d3d2f0caf76813fcd01b1d79170e10006f5899..743568d60e84d6234e126855eb2d44ce92edd08d 100644 --- a/opam/tezos-client-alpha-commands.opam +++ b/opam/tezos-client-alpha-commands.opam @@ -11,7 +11,6 @@ depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-base" "tezos-protocol-alpha" - "tezos-protocol-alpha-parameters" "tezos-stdlib-unix" "tezos-protocol-environment" "tezos-shell-services" diff --git a/opam/tezos-client-alpha.opam b/opam/tezos-client-alpha.opam index d2a129051c9704bf9469c356de517262b892424f..9f1a31bddfd88de6420e1e0dd447839a1e01171b 100644 --- a/opam/tezos-client-alpha.opam +++ b/opam/tezos-client-alpha.opam @@ -18,7 +18,6 @@ depends: [ "tezos-proxy" "tezos-signer-backends" "tezos-protocol-plugin-alpha" - "tezos-protocol-alpha-parameters" "tezos-rpc" "tezos-micheline" {with-test} "tezos-base-test-helpers" {with-test} diff --git a/opam/tezos-protocol-008-PtEdo2Zk-parameters.opam b/opam/tezos-protocol-008-PtEdo2Zk-parameters.opam deleted file mode 100644 index 4e1fd1c8a0423daba055fd845737bdebcf3b4134..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-008-PtEdo2Zk-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-008-PtEdo2Zk" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-008-PtEdo2Zk.opam b/opam/tezos-protocol-008-PtEdo2Zk.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-008-PtEdo2Zk.opam +++ b/opam/tezos-protocol-008-PtEdo2Zk.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-009-PsFLoren-parameters.opam b/opam/tezos-protocol-009-PsFLoren-parameters.opam deleted file mode 100644 index 9c8f6d50ceb23e268b37b31e2f742e538b2d2159..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-009-PsFLoren-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-009-PsFLoren" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-009-PsFLoren.opam b/opam/tezos-protocol-009-PsFLoren.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-009-PsFLoren.opam +++ b/opam/tezos-protocol-009-PsFLoren.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-010-PtGRANAD-parameters.opam b/opam/tezos-protocol-010-PtGRANAD-parameters.opam deleted file mode 100644 index 743c8311e3fa70396834b9372e66462e89d36ebe..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-010-PtGRANAD-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-010-PtGRANAD" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-010-PtGRANAD.opam b/opam/tezos-protocol-010-PtGRANAD.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-010-PtGRANAD.opam +++ b/opam/tezos-protocol-010-PtGRANAD.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-011-PtHangz2-parameters.opam b/opam/tezos-protocol-011-PtHangz2-parameters.opam deleted file mode 100644 index e4f3ae7617c77675b0da20c819d5ebb115ec97e6..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-011-PtHangz2-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-011-PtHangz2" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-011-PtHangz2.opam b/opam/tezos-protocol-011-PtHangz2.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-011-PtHangz2.opam +++ b/opam/tezos-protocol-011-PtHangz2.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-012-Psithaca-parameters.opam b/opam/tezos-protocol-012-Psithaca-parameters.opam deleted file mode 100644 index db41c578de301c1558e36cff64da8ff783b2962e..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-012-Psithaca-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-012-Psithaca" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-012-Psithaca-tests.opam b/opam/tezos-protocol-012-Psithaca-tests.opam index 0c36df6edeaf8469d4e2aaa6701adc120d8c32ca..7f87528759e826c44db299c7b5980e5b0bba39a1 100644 --- a/opam/tezos-protocol-012-Psithaca-tests.opam +++ b/opam/tezos-protocol-012-Psithaca-tests.opam @@ -14,7 +14,6 @@ depends: [ "tezos-protocol-012-Psithaca" {with-test} "tezos-012-Psithaca-test-helpers" {with-test} "tezos-base-test-helpers" {with-test} - "tezos-protocol-012-Psithaca-parameters" {with-test} "tezos-protocol-plugin-012-Psithaca" {with-test} "tezos-client-base" {with-test} "tezos-client-012-Psithaca" {with-test} diff --git a/opam/tezos-protocol-012-Psithaca.opam b/opam/tezos-protocol-012-Psithaca.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-012-Psithaca.opam +++ b/opam/tezos-protocol-012-Psithaca.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-013-PtJakart-parameters.opam b/opam/tezos-protocol-013-PtJakart-parameters.opam deleted file mode 100644 index 197ee0dd081e09a8a30aae51b94e117202d91195..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-013-PtJakart-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-013-PtJakart" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-013-PtJakart-tests.opam b/opam/tezos-protocol-013-PtJakart-tests.opam index 08dfea544c1580be78ccb38e896f4fdf2fd89a8a..5d54023e0c59aba184b33667b986281487625103 100644 --- a/opam/tezos-protocol-013-PtJakart-tests.opam +++ b/opam/tezos-protocol-013-PtJakart-tests.opam @@ -14,7 +14,6 @@ depends: [ "tezos-protocol-013-PtJakart" {with-test} "tezos-013-PtJakart-test-helpers" {with-test} "tezos-base-test-helpers" {with-test} - "tezos-protocol-013-PtJakart-parameters" {with-test} "tezos-protocol-plugin-013-PtJakart" {with-test} "tezos-client-013-PtJakart" {with-test} "tezos-benchmark" {with-test} diff --git a/opam/tezos-protocol-013-PtJakart.opam b/opam/tezos-protocol-013-PtJakart.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-013-PtJakart.opam +++ b/opam/tezos-protocol-013-PtJakart.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-alpha-parameters.opam b/opam/tezos-protocol-alpha-parameters.opam deleted file mode 100644 index b405a5278508da59caff6020bf10cbf80a0149d2..0000000000000000000000000000000000000000 --- a/opam/tezos-protocol-alpha-parameters.opam +++ /dev/null @@ -1,21 +0,0 @@ -# This file was automatically generated, do not edit. -# Edit file manifest/main.ml instead. -opam-version: "2.0" -maintainer: "contact@tezos.com" -authors: ["Tezos devteam"] -homepage: "https://www.tezos.com/" -bug-reports: "https://gitlab.com/tezos/tezos/issues" -dev-repo: "git+https://gitlab.com/tezos/tezos.git" -license: "MIT" -depends: [ - "dune" { >= "2.9" & < "3.0" } - "tezos-base" - "tezos-protocol-environment" - "tezos-protocol-alpha" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: parameters" diff --git a/opam/tezos-protocol-alpha-tests.opam b/opam/tezos-protocol-alpha-tests.opam index 276216d25a0d28062176df45c662b4af0b09c66a..3f74b1c215bcb390732306ecfd84d9f0a380f197 100644 --- a/opam/tezos-protocol-alpha-tests.opam +++ b/opam/tezos-protocol-alpha-tests.opam @@ -14,7 +14,6 @@ depends: [ "tezos-protocol-alpha" {with-test} "tezos-alpha-test-helpers" {with-test} "tezos-base-test-helpers" {with-test} - "tezos-protocol-alpha-parameters" {with-test} "tezos-protocol-plugin-alpha" {with-test} "tezos-client-alpha" {with-test} "tezos-benchmark" {with-test} diff --git a/opam/tezos-protocol-alpha.opam b/opam/tezos-protocol-alpha.opam index 56e1d07f3cfe4bf70f5c3d5f47b81adc2c5585bf..0c1125dcd55e19c98c29be6c397a04005f9d9f73 100644 --- a/opam/tezos-protocol-alpha.opam +++ b/opam/tezos-protocol-alpha.opam @@ -10,6 +10,7 @@ license: "MIT" depends: [ "dune" { >= "2.9" & < "3.0" } "tezos-protocol-environment" + "tezos-base" ] build: [ ["rm" "-r" "vendors"] diff --git a/opam/tezos-protocol-plugin-012-Psithaca-tests.opam b/opam/tezos-protocol-plugin-012-Psithaca-tests.opam index 0f3f6097256674b7f48a0304e6021180f8ea8adf..205b703b37239c2793816ef0806caec6d40fbf09 100644 --- a/opam/tezos-protocol-plugin-012-Psithaca-tests.opam +++ b/opam/tezos-protocol-plugin-012-Psithaca-tests.opam @@ -18,7 +18,6 @@ depends: [ "tezos-micheline" {with-test} "tezos-protocol-plugin-012-Psithaca" {with-test} "tezos-protocol-012-Psithaca" {with-test} - "tezos-protocol-012-Psithaca-parameters" {with-test} "tezos-012-Psithaca-test-helpers" {with-test} ] build: [ diff --git a/opam/tezos-protocol-plugin-013-PtJakart-tests.opam b/opam/tezos-protocol-plugin-013-PtJakart-tests.opam index 95121968535142fe1d51ee9ddd8b977fd3435ce5..e5aa8eeac81da6082f503d9ab91fc0ef9688bf1a 100644 --- a/opam/tezos-protocol-plugin-013-PtJakart-tests.opam +++ b/opam/tezos-protocol-plugin-013-PtJakart-tests.opam @@ -18,7 +18,6 @@ depends: [ "tezos-micheline" {with-test} "tezos-protocol-plugin-013-PtJakart" {with-test} "tezos-protocol-013-PtJakart" {with-test} - "tezos-protocol-013-PtJakart-parameters" {with-test} "tezos-013-PtJakart-test-helpers" {with-test} ] build: [ diff --git a/opam/tezos-protocol-plugin-alpha-tests.opam b/opam/tezos-protocol-plugin-alpha-tests.opam index 95e68f6672a80cb61bb77de5205aa91c48b5906b..91f495cf02d939eb71fbd140c21a271a2f86e8e7 100644 --- a/opam/tezos-protocol-plugin-alpha-tests.opam +++ b/opam/tezos-protocol-plugin-alpha-tests.opam @@ -18,7 +18,6 @@ depends: [ "tezos-micheline" {with-test} "tezos-protocol-plugin-alpha" {with-test} "tezos-protocol-alpha" {with-test} - "tezos-protocol-alpha-parameters" {with-test} "tezos-alpha-test-helpers" {with-test} ] build: [ diff --git a/opam/tezos-sc-rollup-013-PtJakart.opam b/opam/tezos-sc-rollup-013-PtJakart.opam index ed66986dfc5b4c89652c4b23f72a7782bf63efa6..55b58df615b67b73e1c8a4aa36991444224a9cf0 100644 --- a/opam/tezos-sc-rollup-013-PtJakart.opam +++ b/opam/tezos-sc-rollup-013-PtJakart.opam @@ -13,7 +13,6 @@ depends: [ "tezos-base" "tezos-protocol-013-PtJakart" "tezos-protocol-plugin-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-rpc" ] build: [ diff --git a/opam/tezos-sc-rollup-alpha.opam b/opam/tezos-sc-rollup-alpha.opam index 103ed5c131e6dc2d1a5f848770f6ff9cd307f82d..e64aa62932fe7216b096fa8e2fb7694d3ae7c02c 100644 --- a/opam/tezos-sc-rollup-alpha.opam +++ b/opam/tezos-sc-rollup-alpha.opam @@ -13,7 +13,6 @@ depends: [ "tezos-base" "tezos-protocol-alpha" "tezos-protocol-plugin-alpha" - "tezos-protocol-alpha-parameters" "tezos-rpc" ] build: [ diff --git a/opam/tezos-sc-rollup-node-013-PtJakart.opam b/opam/tezos-sc-rollup-node-013-PtJakart.opam index dc9b11eba52a3297bc58887274ff39e4781487da..c37a4b1b586510040f8a5cc615474fc3ed995aba 100644 --- a/opam/tezos-sc-rollup-node-013-PtJakart.opam +++ b/opam/tezos-sc-rollup-node-013-PtJakart.opam @@ -18,7 +18,6 @@ depends: [ "tezos-context" "tezos-protocol-013-PtJakart" "tezos-protocol-plugin-013-PtJakart" - "tezos-protocol-013-PtJakart-parameters" "tezos-rpc" "tezos-rpc-http" "tezos-rpc-http-server" diff --git a/opam/tezos-sc-rollup-node-alpha.opam b/opam/tezos-sc-rollup-node-alpha.opam index 9af532962c163895b96810353d1377645ea74c45..212e176d3ed9cb6ccdc967dcb76e1db5e5518d04 100644 --- a/opam/tezos-sc-rollup-node-alpha.opam +++ b/opam/tezos-sc-rollup-node-alpha.opam @@ -18,7 +18,6 @@ depends: [ "tezos-context" "tezos-protocol-alpha" "tezos-protocol-plugin-alpha" - "tezos-protocol-alpha-parameters" "tezos-rpc" "tezos-rpc-http" "tezos-rpc-http-server" diff --git a/opam/tezos-store.opam b/opam/tezos-store.opam index 56b8eeac2142f1c9e279e804163182dcb7929622..6dd6390f1342910cc027a00fc659f05d85469c3b 100644 --- a/opam/tezos-store.opam +++ b/opam/tezos-store.opam @@ -28,7 +28,7 @@ depends: [ "tezos-embedded-protocol-demo-noops" {with-test} "tezos-embedded-protocol-genesis" {with-test} "tezos-embedded-protocol-alpha" {with-test} - "tezos-protocol-alpha-parameters" {with-test} + "tezos-protocol-alpha" {with-test} "tezos-protocol-plugin-alpha" {with-test} "alcotest-lwt" { with-test & >= "1.5.0" } "tezos-test-helpers" {with-test} diff --git a/src/lib_store/test/dune b/src/lib_store/test/dune index 7fb27687c70e088b634cbec7aa263cf86b8beb3b..5de2aeb780a6247ba1903c0bbf375602655ddbb7 100644 --- a/src/lib_store/test/dune +++ b/src/lib_store/test/dune @@ -12,7 +12,7 @@ tezos-embedded-protocol-demo-noops tezos-embedded-protocol-genesis tezos-embedded-protocol-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-plugin-alpha alcotest-lwt tezos-test-helpers diff --git a/src/proto_008_PtEdo2Zk/lib_client/dune b/src/proto_008_PtEdo2Zk/lib_client/dune index aae11d7ebf925e9625ae4ed8fa69f721e0301506..70c19ffa30a188a1ef27b70e0371a212eac6ab05 100644 --- a/src/proto_008_PtEdo2Zk/lib_client/dune +++ b/src/proto_008_PtEdo2Zk/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-008-PtEdo2Zk - tezos-protocol-008-PtEdo2Zk-parameters + tezos-protocol-008-PtEdo2Zk.parameters tezos-rpc) (library_flags (:standard -linkall)) (flags diff --git a/src/proto_008_PtEdo2Zk/lib_parameters/dune b/src/proto_008_PtEdo2Zk/lib_parameters/dune index db6cf3ae47a8d8b5ad4431feec48268c22ac4428..6357f166b3cf44e927759c38b542754a435f490a 100644 --- a/src/proto_008_PtEdo2Zk/lib_parameters/dune +++ b/src/proto_008_PtEdo2Zk/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_008_PtEdo2Zk_parameters) - (public_name tezos-protocol-008-PtEdo2Zk-parameters) + (public_name tezos-protocol-008-PtEdo2Zk.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-008-PtEdo2Zk-parameters) + tezos-protocol-008-PtEdo2Zk.parameters) (link_flags (:standard -linkall)) (flags (:standard @@ -44,6 +44,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-008-PtEdo2Zk-parameters) + (package tezos-protocol-008-PtEdo2Zk) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_009_PsFLoren/lib_client/dune b/src/proto_009_PsFLoren/lib_client/dune index 28710254afdfbd5b876eb108d941eeb97020b628..718d17d2b359a7759664df2de50a29975166c16e 100644 --- a/src/proto_009_PsFLoren/lib_client/dune +++ b/src/proto_009_PsFLoren/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-009-PsFLoren - tezos-protocol-009-PsFLoren-parameters + tezos-protocol-009-PsFLoren.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_009_PsFLoren/lib_parameters/dune b/src/proto_009_PsFLoren/lib_parameters/dune index a52b2f43ac10d12658b9fb2b8b4f15c076135af5..06ca41f693fa7bae70927f041932127b5eb689d5 100644 --- a/src/proto_009_PsFLoren/lib_parameters/dune +++ b/src/proto_009_PsFLoren/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_009_PsFLoren_parameters) - (public_name tezos-protocol-009-PsFLoren-parameters) + (public_name tezos-protocol-009-PsFLoren.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-009-PsFLoren-parameters) + tezos-protocol-009-PsFLoren.parameters) (link_flags (:standard -linkall)) (flags (:standard @@ -44,6 +44,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-009-PsFLoren-parameters) + (package tezos-protocol-009-PsFLoren) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_010_PtGRANAD/lib_client/dune b/src/proto_010_PtGRANAD/lib_client/dune index d272e2a61c015e7009ea4ae837d8163702a38534..417fd646ca1ac1fde416fc9e29cc2bd6fbbb045b 100644 --- a/src/proto_010_PtGRANAD/lib_client/dune +++ b/src/proto_010_PtGRANAD/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-010-PtGRANAD - tezos-protocol-010-PtGRANAD-parameters + tezos-protocol-010-PtGRANAD.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_010_PtGRANAD/lib_parameters/dune b/src/proto_010_PtGRANAD/lib_parameters/dune index 3b644f8a100786a3e7cebb584cdc2ccc2aeb95de..6499d98228daaa97bb32e669817e7947ea42a6e2 100644 --- a/src/proto_010_PtGRANAD/lib_parameters/dune +++ b/src/proto_010_PtGRANAD/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_010_PtGRANAD_parameters) - (public_name tezos-protocol-010-PtGRANAD-parameters) + (public_name tezos-protocol-010-PtGRANAD.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-010-PtGRANAD-parameters) + tezos-protocol-010-PtGRANAD.parameters) (link_flags (:standard -linkall)) (flags (:standard @@ -44,6 +44,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-010-PtGRANAD-parameters) + (package tezos-protocol-010-PtGRANAD) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_011_PtHangz2/lib_client/dune b/src/proto_011_PtHangz2/lib_client/dune index 9bf73efb9d4ea7805b4bb301aae3736543d8f877..c3e232ad405e97ee9548be360062d272208e5b96 100644 --- a/src/proto_011_PtHangz2/lib_client/dune +++ b/src/proto_011_PtHangz2/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-011-PtHangz2 - tezos-protocol-011-PtHangz2-parameters + tezos-protocol-011-PtHangz2.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_011_PtHangz2/lib_parameters/dune b/src/proto_011_PtHangz2/lib_parameters/dune index f2e83dc1daa48de615e2d85dada38e507638dba3..5155a595ff7c211cd0fda2861b0c650b5a26cdf8 100644 --- a/src/proto_011_PtHangz2/lib_parameters/dune +++ b/src/proto_011_PtHangz2/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_011_PtHangz2_parameters) - (public_name tezos-protocol-011-PtHangz2-parameters) + (public_name tezos-protocol-011-PtHangz2.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-011-PtHangz2-parameters) + tezos-protocol-011-PtHangz2.parameters) (link_flags (:standard -linkall)) (flags (:standard @@ -44,6 +44,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-011-PtHangz2-parameters) + (package tezos-protocol-011-PtHangz2) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_012_Psithaca/lib_benchmark/dune b/src/proto_012_Psithaca/lib_benchmark/dune index c3b23d44c6c2d1d5eccd00b096f28c94c258c041..21429caa9f494c0803521ab3ad196b997ee1f2f3 100644 --- a/src/proto_012_Psithaca/lib_benchmark/dune +++ b/src/proto_012_Psithaca/lib_benchmark/dune @@ -15,7 +15,7 @@ tezos-benchmark-type-inference-012-Psithaca tezos-protocol-012-Psithaca tezos-crypto - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters hashcons tezos-012-Psithaca-test-helpers prbnmcn-stats) diff --git a/src/proto_012_Psithaca/lib_benchmarks_proto/dune b/src/proto_012_Psithaca/lib_benchmarks_proto/dune index 66515e9b74f4a6976dc623aaadbecac01132b0ba..0ab1d38d63e999a443c2f4daaeb9816516bec6fa 100644 --- a/src/proto_012_Psithaca/lib_benchmarks_proto/dune +++ b/src/proto_012_Psithaca/lib_benchmarks_proto/dune @@ -10,7 +10,7 @@ tezos-stdlib tezos-base tezos-error-monad - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-benchmark tezos-benchmark-012-Psithaca tezos-benchmark-type-inference-012-Psithaca diff --git a/src/proto_012_Psithaca/lib_client/dune b/src/proto_012_Psithaca/lib_client/dune index bbed6c35442202374ddeb21c7703e3f65bfb554c..113816a99bcbd40660e9c57dca6d05e1578738fe 100644 --- a/src/proto_012_Psithaca/lib_client/dune +++ b/src/proto_012_Psithaca/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-012-Psithaca - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_012_Psithaca/lib_delegate/test/dune b/src/proto_012_Psithaca/lib_delegate/test/dune index ee64b1adc556a954d5d95784c759fc9b852dcbab..e0cbcb2bc179fbed78c99ecfeb01bb0f77235c7f 100644 --- a/src/proto_012_Psithaca/lib_delegate/test/dune +++ b/src/proto_012_Psithaca/lib_delegate/test/dune @@ -12,7 +12,7 @@ tezos-base-test-helpers tezos-baking-012-Psithaca.mockup-simulator tezos-baking-012-Psithaca - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-crypto alcotest-lwt) (flags diff --git a/src/proto_012_Psithaca/lib_delegate/test/mockup_simulator/dune b/src/proto_012_Psithaca/lib_delegate/test/mockup_simulator/dune index 2291de94c18fcf0bd0dc0e77ce780d004c84acd7..fed71f518bd48aaebc4b69038018e10d3571362c 100644 --- a/src/proto_012_Psithaca/lib_delegate/test/mockup_simulator/dune +++ b/src/proto_012_Psithaca/lib_delegate/test/mockup_simulator/dune @@ -12,7 +12,7 @@ tezos-baking-012-Psithaca tezos-stdlib-unix tezos-client-base-unix - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-mockup tezos-mockup-proxy tezos-mockup-commands) diff --git a/src/proto_012_Psithaca/lib_parameters/dune b/src/proto_012_Psithaca/lib_parameters/dune index 23f4b1b1b5175353ca686fc402e2090ed70bb344..eb1ec036d201a8950c8d3fc61f89ef52aee03652 100644 --- a/src/proto_012_Psithaca/lib_parameters/dune +++ b/src/proto_012_Psithaca/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_012_Psithaca_parameters) - (public_name tezos-protocol-012-Psithaca-parameters) + (public_name tezos-protocol-012-Psithaca.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-protocol-012-Psithaca) (link_flags (:standard -linkall)) (flags @@ -46,6 +46,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-012-Psithaca-parameters) + (package tezos-protocol-012-Psithaca) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_012_Psithaca/lib_plugin/test/dune b/src/proto_012_Psithaca/lib_plugin/test/dune index 663386ea03f618c1389f792c6c336ce4e95735ae..945c46cb6c57e37b120b9c67e8be35443b174122 100644 --- a/src/proto_012_Psithaca/lib_plugin/test/dune +++ b/src/proto_012_Psithaca/lib_plugin/test/dune @@ -14,7 +14,7 @@ tezos-protocol-plugin-012-Psithaca tezos-protocol-012-Psithaca.environment tezos-protocol-012-Psithaca - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-012-Psithaca-test-helpers) (flags (:standard diff --git a/src/proto_012_Psithaca/lib_protocol/test/helpers/dune b/src/proto_012_Psithaca/lib_protocol/test/helpers/dune index 0bc1a37a970909f6e1edffb95befcdb369c6098c..dcdf7b735eaccb4a74da69ce82cb81428c306327 100644 --- a/src/proto_012_Psithaca/lib_protocol/test/helpers/dune +++ b/src/proto_012_Psithaca/lib_protocol/test/helpers/dune @@ -14,7 +14,7 @@ tezos-stdlib-unix tezos-protocol-012-Psithaca tezos-client-012-Psithaca - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-protocol-environment tezos-protocol-plugin-012-Psithaca tezos-protocol-012-Psithaca.environment diff --git a/src/proto_012_Psithaca/lib_protocol/test/integration/consensus/dune b/src/proto_012_Psithaca/lib_protocol/test/integration/consensus/dune index d5639927cba2c9e3cacbcec0a69e6bb674fe4a08..74e4e0b4b140606ad88785dc5b729afe890a6ab5 100644 --- a/src/proto_012_Psithaca/lib_protocol/test/integration/consensus/dune +++ b/src/proto_012_Psithaca/lib_protocol/test/integration/consensus/dune @@ -9,7 +9,7 @@ tezos-protocol-012-Psithaca tezos-012-Psithaca-test-helpers tezos-base-test-helpers - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-protocol-plugin-012-Psithaca) (flags (:standard diff --git a/src/proto_012_Psithaca/lib_protocol/test/integration/dune b/src/proto_012_Psithaca/lib_protocol/test/integration/dune index cdd6b00157a6bfe15300f6c6ddf1ec6702eac177..a0c7891083e74c609324393cdb907a9d354a824c 100644 --- a/src/proto_012_Psithaca/lib_protocol/test/integration/dune +++ b/src/proto_012_Psithaca/lib_protocol/test/integration/dune @@ -9,7 +9,7 @@ tezos-client-012-Psithaca tezos-client-base tezos-protocol-012-Psithaca - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-012-Psithaca-test-helpers tezos-base-test-helpers) (flags diff --git a/src/proto_012_Psithaca/lib_protocol/test/unit/dune b/src/proto_012_Psithaca/lib_protocol/test/unit/dune index 046788f4e63079819f6fdc989a9d4ae7f996ebe9..6ba7f80bdc9648ec119fcdba355657978203ddea 100644 --- a/src/proto_012_Psithaca/lib_protocol/test/unit/dune +++ b/src/proto_012_Psithaca/lib_protocol/test/unit/dune @@ -9,7 +9,7 @@ tezos-micheline tezos-client-012-Psithaca tezos-client-base - tezos-protocol-012-Psithaca-parameters + tezos-protocol-012-Psithaca.parameters tezos-protocol-environment tezos-stdlib-unix tezos-protocol-012-Psithaca diff --git a/src/proto_013_PtJakart/bin_sc_rollup_node/dune b/src/proto_013_PtJakart/bin_sc_rollup_node/dune index 955c99a2de2e8b60249dfd2b6b0b8841dc881f5d..9baf3f7d25f2b7af24c90bfd9c9c1e613827eaa9 100644 --- a/src/proto_013_PtJakart/bin_sc_rollup_node/dune +++ b/src/proto_013_PtJakart/bin_sc_rollup_node/dune @@ -19,7 +19,7 @@ tezos-context.helpers tezos-protocol-013-PtJakart tezos-protocol-plugin-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-rpc tezos-rpc-http tezos-rpc-http-server diff --git a/src/proto_013_PtJakart/lib_benchmark/dune b/src/proto_013_PtJakart/lib_benchmark/dune index 6fb517a6a4d8a0d63fbe3ef82016fa8fc437fadd..40099aaadfeccbd3fd487959f24ec2bb51965671 100644 --- a/src/proto_013_PtJakart/lib_benchmark/dune +++ b/src/proto_013_PtJakart/lib_benchmark/dune @@ -14,7 +14,7 @@ tezos-benchmark-type-inference-013-PtJakart tezos-protocol-013-PtJakart tezos-crypto - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters hashcons tezos-013-PtJakart-test-helpers prbnmcn-stats) diff --git a/src/proto_013_PtJakart/lib_benchmarks_proto/dune b/src/proto_013_PtJakart/lib_benchmarks_proto/dune index 1b4351a3d904123fba0b3a2f9c1556decb6b6111..8f9ebf315b4cde88c7f68c4afeaee1204d24e364 100644 --- a/src/proto_013_PtJakart/lib_benchmarks_proto/dune +++ b/src/proto_013_PtJakart/lib_benchmarks_proto/dune @@ -10,7 +10,7 @@ tezos-stdlib tezos-base tezos-error-monad - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-benchmark tezos-benchmark-013-PtJakart tezos-benchmark-type-inference-013-PtJakart diff --git a/src/proto_013_PtJakart/lib_client/dune b/src/proto_013_PtJakart/lib_client/dune index fdd03744b25c66b37205b26edc90f91eee368600..3bd636b7459bb9d34f49363cb8ea693e5f1e6729 100644 --- a/src/proto_013_PtJakart/lib_client/dune +++ b/src/proto_013_PtJakart/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_013_PtJakart/lib_client_commands/dune b/src/proto_013_PtJakart/lib_client_commands/dune index 354264443dcf3289c571efbd1cddda6b803cf6ed..87ae06491a87ad63f5a5a89ebe03391bb847809a 100644 --- a/src/proto_013_PtJakart/lib_client_commands/dune +++ b/src/proto_013_PtJakart/lib_client_commands/dune @@ -8,7 +8,7 @@ (libraries tezos-base tezos-protocol-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-stdlib-unix tezos-protocol-environment tezos-shell-services @@ -45,7 +45,7 @@ (libraries tezos-base tezos-protocol-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-protocol-environment tezos-shell-services tezos-client-base diff --git a/src/proto_013_PtJakart/lib_delegate/test/dune b/src/proto_013_PtJakart/lib_delegate/test/dune index fcad781d4327ff7803aa7d75afea0fb989343281..b42353ef9ada634f36b33edff12c1186cf2b5b44 100644 --- a/src/proto_013_PtJakart/lib_delegate/test/dune +++ b/src/proto_013_PtJakart/lib_delegate/test/dune @@ -12,7 +12,7 @@ tezos-base-test-helpers tezos-baking-013-PtJakart.mockup-simulator tezos-baking-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-crypto alcotest-lwt) (flags diff --git a/src/proto_013_PtJakart/lib_delegate/test/mockup_simulator/dune b/src/proto_013_PtJakart/lib_delegate/test/mockup_simulator/dune index f452f1abff72d0ae7e15e806ad3b7fe05e66786f..eee2708e0e889c14793dcf7b250c7262812c726d 100644 --- a/src/proto_013_PtJakart/lib_delegate/test/mockup_simulator/dune +++ b/src/proto_013_PtJakart/lib_delegate/test/mockup_simulator/dune @@ -12,7 +12,7 @@ tezos-baking-013-PtJakart tezos-stdlib-unix tezos-client-base-unix - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-mockup tezos-mockup-proxy tezos-mockup-commands diff --git a/src/proto_013_PtJakart/lib_parameters/dune b/src/proto_013_PtJakart/lib_parameters/dune index 358bcb06225cf5204c484bf308ec07620809a4ef..4a72ab04af24e636d2d9265243aacadb2e2d3e46 100644 --- a/src/proto_013_PtJakart/lib_parameters/dune +++ b/src/proto_013_PtJakart/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_013_PtJakart_parameters) - (public_name tezos-protocol-013-PtJakart-parameters) + (public_name tezos-protocol-013-PtJakart.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -20,7 +20,7 @@ (name gen) (libraries tezos-base - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-protocol-013-PtJakart) (link_flags (:standard -linkall)) (flags @@ -46,6 +46,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-013-PtJakart-parameters) + (package tezos-protocol-013-PtJakart) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_013_PtJakart/lib_plugin/test/dune b/src/proto_013_PtJakart/lib_plugin/test/dune index a46009640bbd987167d6317df00b013af1afd436..568c3dc825492453bc99fd2385bb0464b2693773 100644 --- a/src/proto_013_PtJakart/lib_plugin/test/dune +++ b/src/proto_013_PtJakart/lib_plugin/test/dune @@ -15,7 +15,7 @@ tezos-protocol-plugin-013-PtJakart tezos-protocol-013-PtJakart.environment tezos-protocol-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-013-PtJakart-test-helpers) (flags (:standard diff --git a/src/proto_013_PtJakart/lib_protocol/test/helpers/dune b/src/proto_013_PtJakart/lib_protocol/test/helpers/dune index 46811b28fc8b342666f9c76b7521ac19263fc94d..205d1eee114944ea861ceada8bf91f5fc73a9b61 100644 --- a/src/proto_013_PtJakart/lib_protocol/test/helpers/dune +++ b/src/proto_013_PtJakart/lib_protocol/test/helpers/dune @@ -14,7 +14,7 @@ tezos-stdlib-unix tezos-protocol-013-PtJakart tezos-client-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-protocol-environment tezos-protocol-plugin-013-PtJakart tezos-protocol-013-PtJakart.environment diff --git a/src/proto_013_PtJakart/lib_protocol/test/integration/consensus/dune b/src/proto_013_PtJakart/lib_protocol/test/integration/consensus/dune index d38a5fd03f414096fa1c6846cc98a21958929c7e..0ffea3660cfbdbb461d5cf55645edb8c0393bc18 100644 --- a/src/proto_013_PtJakart/lib_protocol/test/integration/consensus/dune +++ b/src/proto_013_PtJakart/lib_protocol/test/integration/consensus/dune @@ -9,7 +9,7 @@ tezos-protocol-013-PtJakart tezos-013-PtJakart-test-helpers tezos-base-test-helpers - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-protocol-plugin-013-PtJakart) (flags (:standard diff --git a/src/proto_013_PtJakart/lib_protocol/test/integration/dune b/src/proto_013_PtJakart/lib_protocol/test/integration/dune index d945e5a6f161df5ee116f7a25bc69f67c1379468..5f045a93b2a3e2d991401325e93d0f9b422661a6 100644 --- a/src/proto_013_PtJakart/lib_protocol/test/integration/dune +++ b/src/proto_013_PtJakart/lib_protocol/test/integration/dune @@ -8,7 +8,7 @@ tezos-base tezos-client-013-PtJakart tezos-protocol-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-013-PtJakart-test-helpers tezos-base-test-helpers) (flags diff --git a/src/proto_013_PtJakart/lib_protocol/test/integration/michelson/dune b/src/proto_013_PtJakart/lib_protocol/test/integration/michelson/dune index e6d9a3ccfe3d195ae46d1edc56e6cc0a7da057ff..1c4c8ab64298731478fd185a3da31f48646299c8 100644 --- a/src/proto_013_PtJakart/lib_protocol/test/integration/michelson/dune +++ b/src/proto_013_PtJakart/lib_protocol/test/integration/michelson/dune @@ -14,7 +14,7 @@ tezos-micheline tezos-benchmark-013-PtJakart tezos-benchmark-type-inference-013-PtJakart - tezos-protocol-013-PtJakart-parameters) + tezos-protocol-013-PtJakart.parameters) (flags (:standard -open Tezos_base.TzPervasives diff --git a/src/proto_013_PtJakart/lib_protocol/test/unit/dune b/src/proto_013_PtJakart/lib_protocol/test/unit/dune index a1d6af2718f3cb0123a39b6195009f85daf99fc3..4aece4b6124e5357a57323525edfe1aa88db02cf 100644 --- a/src/proto_013_PtJakart/lib_protocol/test/unit/dune +++ b/src/proto_013_PtJakart/lib_protocol/test/unit/dune @@ -9,7 +9,7 @@ tezos-micheline tezos-client-013-PtJakart tezos-client-base - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-protocol-environment tezos-stdlib-unix tezos-protocol-013-PtJakart diff --git a/src/proto_013_PtJakart/lib_sc_rollup/dune b/src/proto_013_PtJakart/lib_sc_rollup/dune index e3f7046242e1b50e57bae5fa1e2bc3c6ee0840fe..7067bf15af87b86c195c0bffcd410c80ff23f6d6 100644 --- a/src/proto_013_PtJakart/lib_sc_rollup/dune +++ b/src/proto_013_PtJakart/lib_sc_rollup/dune @@ -9,7 +9,7 @@ tezos-base tezos-protocol-013-PtJakart tezos-protocol-plugin-013-PtJakart - tezos-protocol-013-PtJakart-parameters + tezos-protocol-013-PtJakart.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_alpha/bin_sc_rollup_node/dune b/src/proto_alpha/bin_sc_rollup_node/dune index 9c76ba42e6b61252e12e48638fed0c51b81aa59c..e94958a0486198affa9090d33ab10365698c1b8d 100644 --- a/src/proto_alpha/bin_sc_rollup_node/dune +++ b/src/proto_alpha/bin_sc_rollup_node/dune @@ -19,7 +19,7 @@ tezos-context.helpers tezos-protocol-alpha tezos-protocol-plugin-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-rpc tezos-rpc-http tezos-rpc-http-server diff --git a/src/proto_alpha/lib_benchmark/dune b/src/proto_alpha/lib_benchmark/dune index 423b5cf065d26bd6f076a70914e120c66d8efd72..5e10d5f230daacfd58ce66e23f8e4b77d0dd1039 100644 --- a/src/proto_alpha/lib_benchmark/dune +++ b/src/proto_alpha/lib_benchmark/dune @@ -14,7 +14,7 @@ tezos-benchmark-type-inference-alpha tezos-protocol-alpha tezos-crypto - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters hashcons tezos-alpha-test-helpers prbnmcn-stats) diff --git a/src/proto_alpha/lib_benchmarks_proto/dune b/src/proto_alpha/lib_benchmarks_proto/dune index 96216119e2ec79a3e77a3e8a34c9fbd636ec1804..266e68abdeaf68960e38b87e22a3c2385656c586 100644 --- a/src/proto_alpha/lib_benchmarks_proto/dune +++ b/src/proto_alpha/lib_benchmarks_proto/dune @@ -10,7 +10,7 @@ tezos-stdlib tezos-base tezos-error-monad - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-benchmark tezos-benchmark-alpha tezos-benchmark-type-inference-alpha diff --git a/src/proto_alpha/lib_client/dune b/src/proto_alpha/lib_client/dune index 4b747ec447f22a9e36043d3b563eb63789d4bba1..845fb5d80c0a7d2724b7c960fa5ffa87a6fa5054 100644 --- a/src/proto_alpha/lib_client/dune +++ b/src/proto_alpha/lib_client/dune @@ -14,7 +14,7 @@ tezos-proxy tezos-signer-backends tezos-protocol-plugin-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test)) diff --git a/src/proto_alpha/lib_client_commands/dune b/src/proto_alpha/lib_client_commands/dune index 889faa3a98324891bbd2730df66fd3dd156a799c..b03a570c37865f0195cc4373138262a996e27aa8 100644 --- a/src/proto_alpha/lib_client_commands/dune +++ b/src/proto_alpha/lib_client_commands/dune @@ -8,7 +8,7 @@ (libraries tezos-base tezos-protocol-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-stdlib-unix tezos-protocol-environment tezos-shell-services @@ -45,7 +45,7 @@ (libraries tezos-base tezos-protocol-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-environment tezos-shell-services tezos-client-base diff --git a/src/proto_alpha/lib_delegate/test/dune b/src/proto_alpha/lib_delegate/test/dune index 109eb5e2f602ad0ae93cb8489f9788180b437d53..5f2c9f0e53671db47fcba6dbdf7fb6274533ddd0 100644 --- a/src/proto_alpha/lib_delegate/test/dune +++ b/src/proto_alpha/lib_delegate/test/dune @@ -12,7 +12,7 @@ tezos-base-test-helpers tezos-baking-alpha.mockup-simulator tezos-baking-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-crypto alcotest-lwt) (flags diff --git a/src/proto_alpha/lib_delegate/test/mockup_simulator/dune b/src/proto_alpha/lib_delegate/test/mockup_simulator/dune index 84cb43dbbd1430fe2a45761d7457130412791c5e..bfbc06555a9c81daf3c07cda92469e75b3e6d6aa 100644 --- a/src/proto_alpha/lib_delegate/test/mockup_simulator/dune +++ b/src/proto_alpha/lib_delegate/test/mockup_simulator/dune @@ -12,7 +12,7 @@ tezos-baking-alpha tezos-stdlib-unix tezos-client-base-unix - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-mockup tezos-mockup-proxy tezos-mockup-commands diff --git a/src/proto_alpha/lib_parameters/dune b/src/proto_alpha/lib_parameters/dune index 29d5215a0cd518c0ab26c59c50d40407c64afa2a..1590cf7ccb846fc8ea5aaef33af9da0ffe287d2e 100644 --- a/src/proto_alpha/lib_parameters/dune +++ b/src/proto_alpha/lib_parameters/dune @@ -3,7 +3,7 @@ (library (name tezos_protocol_alpha_parameters) - (public_name tezos-protocol-alpha-parameters) + (public_name tezos-protocol-alpha.parameters) (instrumentation (backend bisect_ppx)) (libraries tezos-base @@ -19,7 +19,7 @@ (name gen) (libraries tezos-base - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-alpha) (link_flags (:standard -linkall)) (flags @@ -45,6 +45,6 @@ (action (run %{deps} --mainnet))) (install - (package tezos-protocol-alpha-parameters) + (package tezos-protocol-alpha) (section lib) (files sandbox-parameters.json test-parameters.json mainnet-parameters.json)) diff --git a/src/proto_alpha/lib_plugin/test/dune b/src/proto_alpha/lib_plugin/test/dune index 6fc2e714b3814f84c30adff29bd1698fef8d1d83..d053bae5bd8f12f7fcfaca5221474b8a48618b24 100644 --- a/src/proto_alpha/lib_plugin/test/dune +++ b/src/proto_alpha/lib_plugin/test/dune @@ -15,7 +15,7 @@ tezos-protocol-plugin-alpha tezos-protocol-alpha.environment tezos-protocol-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-alpha-test-helpers) (flags (:standard diff --git a/src/proto_alpha/lib_protocol/test/helpers/dune b/src/proto_alpha/lib_protocol/test/helpers/dune index 0d158c65e6e81f95030e9edc2379178813f4b8d4..f62f78e2a1ec4ccf4f64a81749b98c0a9e3ee03c 100644 --- a/src/proto_alpha/lib_protocol/test/helpers/dune +++ b/src/proto_alpha/lib_protocol/test/helpers/dune @@ -14,7 +14,7 @@ tezos-stdlib-unix tezos-protocol-alpha tezos-client-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-environment tezos-protocol-plugin-alpha tezos-protocol-alpha.environment diff --git a/src/proto_alpha/lib_protocol/test/integration/consensus/dune b/src/proto_alpha/lib_protocol/test/integration/consensus/dune index e225cf6d83b3928fe59f4a4a1a84fc1458aa0cfc..c6580ada3ad07a3cacf4ea55dde6d6cbd77114a9 100644 --- a/src/proto_alpha/lib_protocol/test/integration/consensus/dune +++ b/src/proto_alpha/lib_protocol/test/integration/consensus/dune @@ -9,7 +9,7 @@ tezos-protocol-alpha tezos-alpha-test-helpers tezos-base-test-helpers - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-plugin-alpha) (flags (:standard diff --git a/src/proto_alpha/lib_protocol/test/integration/dune b/src/proto_alpha/lib_protocol/test/integration/dune index 6990c33db76ac856ab89d367848dd8802ae16897..eaa2642a40ae0dced0b95fb722c7f3895505aef1 100644 --- a/src/proto_alpha/lib_protocol/test/integration/dune +++ b/src/proto_alpha/lib_protocol/test/integration/dune @@ -8,7 +8,7 @@ tezos-base tezos-client-alpha tezos-protocol-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-alpha-test-helpers tezos-base-test-helpers) (flags diff --git a/src/proto_alpha/lib_protocol/test/integration/michelson/dune b/src/proto_alpha/lib_protocol/test/integration/michelson/dune index fad51c13f5590b50d81dc10d2e2140989dd4dac4..1f0a1209b046de5f3519d6d9a5a1187ab9b94ff5 100644 --- a/src/proto_alpha/lib_protocol/test/integration/michelson/dune +++ b/src/proto_alpha/lib_protocol/test/integration/michelson/dune @@ -14,7 +14,7 @@ tezos-micheline tezos-benchmark-alpha tezos-benchmark-type-inference-alpha - tezos-protocol-alpha-parameters) + tezos-protocol-alpha.parameters) (flags (:standard -open Tezos_base.TzPervasives diff --git a/src/proto_alpha/lib_protocol/test/unit/dune b/src/proto_alpha/lib_protocol/test/unit/dune index 6d1449fd8cf35f7da4f41929a7fb37e223e0e49d..9f34b042ee77a07bac31b9d510e58bd13cc31b80 100644 --- a/src/proto_alpha/lib_protocol/test/unit/dune +++ b/src/proto_alpha/lib_protocol/test/unit/dune @@ -9,7 +9,7 @@ tezos-micheline tezos-client-alpha tezos-client-base - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-protocol-environment tezos-stdlib-unix tezos-protocol-alpha diff --git a/src/proto_alpha/lib_sc_rollup/dune b/src/proto_alpha/lib_sc_rollup/dune index a680588fc8d6685351128b97e92a177363a6659c..8eaf39c7e09a3406918bb450ce764944d831b74a 100644 --- a/src/proto_alpha/lib_sc_rollup/dune +++ b/src/proto_alpha/lib_sc_rollup/dune @@ -9,7 +9,7 @@ tezos-base tezos-protocol-alpha tezos-protocol-plugin-alpha - tezos-protocol-alpha-parameters + tezos-protocol-alpha.parameters tezos-rpc) (inline_tests (flags -verbose) (modes native)) (preprocess (pps ppx_inline_test))