From 0f47ee1d1875860e5290dfd2a1f54bbbd5221a93 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Mon, 23 May 2022 17:06:46 +0200 Subject: [PATCH] Opam: do not create an opam package for protocol functors --- .gitlab/ci/opam-ci.yml | 100 ------------------ dune-project | 20 ---- manifest/main.ml | 6 +- opam/tezos-protocol-functor-000-Ps9mPmXa.opam | 21 ---- opam/tezos-protocol-functor-001-PtCJ7pwo.opam | 21 ---- opam/tezos-protocol-functor-002-PsYLVpVv.opam | 21 ---- opam/tezos-protocol-functor-003-PsddFKi3.opam | 21 ---- opam/tezos-protocol-functor-004-Pt24m4xi.opam | 21 ---- opam/tezos-protocol-functor-005-PsBABY5H.opam | 21 ---- opam/tezos-protocol-functor-005-PsBabyM1.opam | 21 ---- opam/tezos-protocol-functor-006-PsCARTHA.opam | 21 ---- opam/tezos-protocol-functor-007-PsDELPH1.opam | 21 ---- opam/tezos-protocol-functor-008-PtEdo2Zk.opam | 21 ---- opam/tezos-protocol-functor-008-PtEdoTez.opam | 21 ---- opam/tezos-protocol-functor-009-PsFLoren.opam | 21 ---- opam/tezos-protocol-functor-010-PtGRANAD.opam | 21 ---- opam/tezos-protocol-functor-011-PtHangz2.opam | 21 ---- opam/tezos-protocol-functor-012-Psithaca.opam | 21 ---- opam/tezos-protocol-functor-013-PtJakart.opam | 21 ---- opam/tezos-protocol-functor-alpha.opam | 21 ---- opam/tezos-protocol-functor-demo-counter.opam | 21 ---- opam/tezos-protocol-functor-demo-noops.opam | 21 ---- opam/tezos-protocol-functor-genesis.opam | 21 ---- src/proto_000_Ps9mPmXa/lib_protocol/dune | 1 - src/proto_001_PtCJ7pwo/lib_protocol/dune | 1 - src/proto_002_PsYLVpVv/lib_protocol/dune | 1 - src/proto_003_PsddFKi3/lib_protocol/dune | 1 - src/proto_004_Pt24m4xi/lib_protocol/dune | 1 - src/proto_005_PsBABY5H/lib_protocol/dune | 1 - src/proto_005_PsBabyM1/lib_protocol/dune | 1 - src/proto_006_PsCARTHA/lib_protocol/dune | 1 - src/proto_007_PsDELPH1/lib_protocol/dune | 1 - src/proto_008_PtEdo2Zk/lib_protocol/dune | 1 - src/proto_008_PtEdoTez/lib_protocol/dune | 1 - src/proto_009_PsFLoren/lib_protocol/dune | 1 - src/proto_010_PtGRANAD/lib_protocol/dune | 1 - src/proto_011_PtHangz2/lib_protocol/dune | 1 - src/proto_012_Psithaca/lib_protocol/dune | 1 - src/proto_013_PtJakart/lib_protocol/dune | 1 - src/proto_alpha/lib_protocol/dune | 1 - src/proto_demo_counter/lib_protocol/dune | 1 - src/proto_demo_noops/lib_protocol/dune | 1 - src/proto_genesis/lib_protocol/dune | 1 - 43 files changed, 3 insertions(+), 563 deletions(-) delete mode 100644 opam/tezos-protocol-functor-000-Ps9mPmXa.opam delete mode 100644 opam/tezos-protocol-functor-001-PtCJ7pwo.opam delete mode 100644 opam/tezos-protocol-functor-002-PsYLVpVv.opam delete mode 100644 opam/tezos-protocol-functor-003-PsddFKi3.opam delete mode 100644 opam/tezos-protocol-functor-004-Pt24m4xi.opam delete mode 100644 opam/tezos-protocol-functor-005-PsBABY5H.opam delete mode 100644 opam/tezos-protocol-functor-005-PsBabyM1.opam delete mode 100644 opam/tezos-protocol-functor-006-PsCARTHA.opam delete mode 100644 opam/tezos-protocol-functor-007-PsDELPH1.opam delete mode 100644 opam/tezos-protocol-functor-008-PtEdo2Zk.opam delete mode 100644 opam/tezos-protocol-functor-008-PtEdoTez.opam delete mode 100644 opam/tezos-protocol-functor-009-PsFLoren.opam delete mode 100644 opam/tezos-protocol-functor-010-PtGRANAD.opam delete mode 100644 opam/tezos-protocol-functor-011-PtHangz2.opam delete mode 100644 opam/tezos-protocol-functor-012-Psithaca.opam delete mode 100644 opam/tezos-protocol-functor-013-PtJakart.opam delete mode 100644 opam/tezos-protocol-functor-alpha.opam delete mode 100644 opam/tezos-protocol-functor-demo-counter.opam delete mode 100644 opam/tezos-protocol-functor-demo-noops.opam delete mode 100644 opam/tezos-protocol-functor-genesis.opam diff --git a/.gitlab/ci/opam-ci.yml b/.gitlab/ci/opam-ci.yml index b73f71950f02..e0b7991b57a1 100644 --- a/.gitlab/ci/opam-ci.yml +++ b/.gitlab/ci/opam-ci.yml @@ -708,106 +708,6 @@ opam:tezos-protocol-environment: variables: package: tezos-protocol-environment -opam:tezos-protocol-functor-000-Ps9mPmXa: - extends: .opam_template - variables: - package: tezos-protocol-functor-000-Ps9mPmXa - -opam:tezos-protocol-functor-001-PtCJ7pwo: - extends: .opam_template - variables: - package: tezos-protocol-functor-001-PtCJ7pwo - -opam:tezos-protocol-functor-002-PsYLVpVv: - extends: .opam_template - variables: - package: tezos-protocol-functor-002-PsYLVpVv - -opam:tezos-protocol-functor-003-PsddFKi3: - extends: .opam_template - variables: - package: tezos-protocol-functor-003-PsddFKi3 - -opam:tezos-protocol-functor-004-Pt24m4xi: - extends: .opam_template - variables: - package: tezos-protocol-functor-004-Pt24m4xi - -opam:tezos-protocol-functor-005-PsBABY5H: - extends: .opam_template - variables: - package: tezos-protocol-functor-005-PsBABY5H - -opam:tezos-protocol-functor-005-PsBabyM1: - extends: .opam_template - variables: - package: tezos-protocol-functor-005-PsBabyM1 - -opam:tezos-protocol-functor-006-PsCARTHA: - extends: .opam_template - variables: - package: tezos-protocol-functor-006-PsCARTHA - -opam:tezos-protocol-functor-007-PsDELPH1: - extends: .opam_template - variables: - package: tezos-protocol-functor-007-PsDELPH1 - -opam:tezos-protocol-functor-008-PtEdo2Zk: - extends: .opam_template - variables: - package: tezos-protocol-functor-008-PtEdo2Zk - -opam:tezos-protocol-functor-008-PtEdoTez: - extends: .opam_template - variables: - package: tezos-protocol-functor-008-PtEdoTez - -opam:tezos-protocol-functor-009-PsFLoren: - extends: .opam_template - variables: - package: tezos-protocol-functor-009-PsFLoren - -opam:tezos-protocol-functor-010-PtGRANAD: - extends: .opam_template - variables: - package: tezos-protocol-functor-010-PtGRANAD - -opam:tezos-protocol-functor-011-PtHangz2: - extends: .opam_template - variables: - package: tezos-protocol-functor-011-PtHangz2 - -opam:tezos-protocol-functor-012-Psithaca: - extends: .opam_template - variables: - package: tezos-protocol-functor-012-Psithaca - -opam:tezos-protocol-functor-013-PtJakart: - extends: .opam_template - variables: - package: tezos-protocol-functor-013-PtJakart - -opam:tezos-protocol-functor-alpha: - extends: .opam_template - variables: - package: tezos-protocol-functor-alpha - -opam:tezos-protocol-functor-demo-counter: - extends: .opam_template - variables: - package: tezos-protocol-functor-demo-counter - -opam:tezos-protocol-functor-demo-noops: - extends: .opam_template - variables: - package: tezos-protocol-functor-demo-noops - -opam:tezos-protocol-functor-genesis: - extends: .opam_template - variables: - package: tezos-protocol-functor-genesis - opam:tezos-protocol-genesis: extends: .opam_template variables: diff --git a/dune-project b/dune-project index ca7bef7cacb6..509a3a25f16d 100644 --- a/dune-project +++ b/dune-project @@ -147,26 +147,6 @@ (package (name tezos-protocol-demo-counter)) (package (name tezos-protocol-demo-noops)) (package (name tezos-protocol-environment)) -(package (name tezos-protocol-functor-000-Ps9mPmXa)) -(package (name tezos-protocol-functor-001-PtCJ7pwo)) -(package (name tezos-protocol-functor-002-PsYLVpVv)) -(package (name tezos-protocol-functor-003-PsddFKi3)) -(package (name tezos-protocol-functor-004-Pt24m4xi)) -(package (name tezos-protocol-functor-005-PsBABY5H)) -(package (name tezos-protocol-functor-005-PsBabyM1)) -(package (name tezos-protocol-functor-006-PsCARTHA)) -(package (name tezos-protocol-functor-007-PsDELPH1)) -(package (name tezos-protocol-functor-008-PtEdo2Zk)) -(package (name tezos-protocol-functor-008-PtEdoTez)) -(package (name tezos-protocol-functor-009-PsFLoren)) -(package (name tezos-protocol-functor-010-PtGRANAD)) -(package (name tezos-protocol-functor-011-PtHangz2)) -(package (name tezos-protocol-functor-012-Psithaca)) -(package (name tezos-protocol-functor-013-PtJakart)) -(package (name tezos-protocol-functor-alpha)) -(package (name tezos-protocol-functor-demo-counter)) -(package (name tezos-protocol-functor-demo-noops)) -(package (name tezos-protocol-functor-genesis)) (package (name tezos-protocol-genesis)) (package (name tezos-protocol-plugin-007-PsDELPH1)) (package (name tezos-protocol-plugin-007-PsDELPH1-registerer)) diff --git a/manifest/main.ml b/manifest/main.ml index a7dd4811f589..8508aeb207a9 100644 --- a/manifest/main.ml +++ b/manifest/main.ml @@ -3281,10 +3281,10 @@ include Tezos_raw_protocol_%s.Main ] in let _functor = - public_lib - (sf "tezos-protocol-functor-%s" name_dash) - ~internal_name:(sf "tezos_protocol_%s_functor" name_underscore) + private_lib + (sf "tezos_protocol_%s_functor" name_underscore) ~path:(sf "src/proto_%s/lib_protocol" name_underscore) + ~opam:"" ~synopsis: (match number with | V _ as number when N.(number <= 003) -> diff --git a/opam/tezos-protocol-functor-000-Ps9mPmXa.opam b/opam/tezos-protocol-functor-000-Ps9mPmXa.opam deleted file mode 100644 index abea83d62816..000000000000 --- a/opam/tezos-protocol-functor-000-Ps9mPmXa.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-protocol-environment" - "tezos-protocol-000-Ps9mPmXa" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: 000-Ps9mPmXa (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-001-PtCJ7pwo.opam b/opam/tezos-protocol-functor-001-PtCJ7pwo.opam deleted file mode 100644 index 8bf34d0951d4..000000000000 --- a/opam/tezos-protocol-functor-001-PtCJ7pwo.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-protocol-environment" - "tezos-protocol-001-PtCJ7pwo" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-002-PsYLVpVv.opam b/opam/tezos-protocol-functor-002-PsYLVpVv.opam deleted file mode 100644 index 95c428869008..000000000000 --- a/opam/tezos-protocol-functor-002-PsYLVpVv.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-protocol-environment" - "tezos-protocol-002-PsYLVpVv" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-003-PsddFKi3.opam b/opam/tezos-protocol-functor-003-PsddFKi3.opam deleted file mode 100644 index 74acfbe1a66c..000000000000 --- a/opam/tezos-protocol-functor-003-PsddFKi3.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-protocol-environment" - "tezos-protocol-003-PsddFKi3" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-004-Pt24m4xi.opam b/opam/tezos-protocol-functor-004-Pt24m4xi.opam deleted file mode 100644 index 18ba5d9200bc..000000000000 --- a/opam/tezos-protocol-functor-004-Pt24m4xi.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-protocol-environment" - "tezos-protocol-004-Pt24m4xi" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-005-PsBABY5H.opam b/opam/tezos-protocol-functor-005-PsBABY5H.opam deleted file mode 100644 index 3917057318fa..000000000000 --- a/opam/tezos-protocol-functor-005-PsBABY5H.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-protocol-environment" - "tezos-protocol-005-PsBABY5H" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-005-PsBabyM1.opam b/opam/tezos-protocol-functor-005-PsBabyM1.opam deleted file mode 100644 index 86e2dc83ea4a..000000000000 --- a/opam/tezos-protocol-functor-005-PsBabyM1.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-protocol-environment" - "tezos-protocol-005-PsBabyM1" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-006-PsCARTHA.opam b/opam/tezos-protocol-functor-006-PsCARTHA.opam deleted file mode 100644 index 45287cb07e87..000000000000 --- a/opam/tezos-protocol-functor-006-PsCARTHA.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-protocol-environment" - "tezos-protocol-006-PsCARTHA" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-007-PsDELPH1.opam b/opam/tezos-protocol-functor-007-PsDELPH1.opam deleted file mode 100644 index ed846ced1edc..000000000000 --- a/opam/tezos-protocol-functor-007-PsDELPH1.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-protocol-environment" - "tezos-protocol-007-PsDELPH1" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-008-PtEdo2Zk.opam b/opam/tezos-protocol-functor-008-PtEdo2Zk.opam deleted file mode 100644 index 3d10263446f7..000000000000 --- a/opam/tezos-protocol-functor-008-PtEdo2Zk.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-protocol-environment" - "tezos-protocol-008-PtEdo2Zk" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-008-PtEdoTez.opam b/opam/tezos-protocol-functor-008-PtEdoTez.opam deleted file mode 100644 index 3fb1715d05fa..000000000000 --- a/opam/tezos-protocol-functor-008-PtEdoTez.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-protocol-environment" - "tezos-protocol-008-PtEdoTez" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-009-PsFLoren.opam b/opam/tezos-protocol-functor-009-PsFLoren.opam deleted file mode 100644 index 0c71cb644163..000000000000 --- a/opam/tezos-protocol-functor-009-PsFLoren.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-protocol-environment" - "tezos-protocol-009-PsFLoren" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-010-PtGRANAD.opam b/opam/tezos-protocol-functor-010-PtGRANAD.opam deleted file mode 100644 index f0dc65f259f4..000000000000 --- a/opam/tezos-protocol-functor-010-PtGRANAD.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-protocol-environment" - "tezos-protocol-010-PtGRANAD" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-011-PtHangz2.opam b/opam/tezos-protocol-functor-011-PtHangz2.opam deleted file mode 100644 index 94c136e673c5..000000000000 --- a/opam/tezos-protocol-functor-011-PtHangz2.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-protocol-environment" - "tezos-protocol-011-PtHangz2" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-012-Psithaca.opam b/opam/tezos-protocol-functor-012-Psithaca.opam deleted file mode 100644 index a13dec4535c4..000000000000 --- a/opam/tezos-protocol-functor-012-Psithaca.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-protocol-environment" - "tezos-protocol-012-Psithaca" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-013-PtJakart.opam b/opam/tezos-protocol-functor-013-PtJakart.opam deleted file mode 100644 index a546a0fc13b1..000000000000 --- a/opam/tezos-protocol-functor-013-PtJakart.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-protocol-environment" - "tezos-protocol-013-PtJakart" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-alpha.opam b/opam/tezos-protocol-functor-alpha.opam deleted file mode 100644 index ed6617ad0fb8..000000000000 --- a/opam/tezos-protocol-functor-alpha.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-protocol-environment" - "tezos-protocol-alpha" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: economic-protocol definition parameterized by its environment implementation" diff --git a/opam/tezos-protocol-functor-demo-counter.opam b/opam/tezos-protocol-functor-demo-counter.opam deleted file mode 100644 index 79cdfbeabec1..000000000000 --- a/opam/tezos-protocol-functor-demo-counter.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-protocol-environment" - "tezos-protocol-demo-counter" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: demo_counter (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-demo-noops.opam b/opam/tezos-protocol-functor-demo-noops.opam deleted file mode 100644 index 55b6b4c64f01..000000000000 --- a/opam/tezos-protocol-functor-demo-noops.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-protocol-environment" - "tezos-protocol-demo-noops" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: demo_noops (economic-protocol definition parameterized by its environment implementation)" diff --git a/opam/tezos-protocol-functor-genesis.opam b/opam/tezos-protocol-functor-genesis.opam deleted file mode 100644 index 3b0ed6864b8c..000000000000 --- a/opam/tezos-protocol-functor-genesis.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-protocol-environment" - "tezos-protocol-genesis" - "tezos-protocol-compiler" -] -build: [ - ["rm" "-r" "vendors"] - ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] -synopsis: "Tezos/Protocol: genesis (economic-protocol definition parameterized by its environment implementation)" diff --git a/src/proto_000_Ps9mPmXa/lib_protocol/dune b/src/proto_000_Ps9mPmXa/lib_protocol/dune index 9eb3c90e31a2..8ce3ef4a951a 100644 --- a/src/proto_000_Ps9mPmXa/lib_protocol/dune +++ b/src/proto_000_Ps9mPmXa/lib_protocol/dune @@ -85,7 +85,6 @@ (library (name tezos_protocol_000_Ps9mPmXa_functor) - (public_name tezos-protocol-functor-000-Ps9mPmXa) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_001_PtCJ7pwo/lib_protocol/dune b/src/proto_001_PtCJ7pwo/lib_protocol/dune index 46ff0d81be28..bb9877b72bef 100644 --- a/src/proto_001_PtCJ7pwo/lib_protocol/dune +++ b/src/proto_001_PtCJ7pwo/lib_protocol/dune @@ -283,7 +283,6 @@ (library (name tezos_protocol_001_PtCJ7pwo_functor) - (public_name tezos-protocol-functor-001-PtCJ7pwo) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_002_PsYLVpVv/lib_protocol/dune b/src/proto_002_PsYLVpVv/lib_protocol/dune index 96bdb7b974d8..dbbdab1b9004 100644 --- a/src/proto_002_PsYLVpVv/lib_protocol/dune +++ b/src/proto_002_PsYLVpVv/lib_protocol/dune @@ -283,7 +283,6 @@ (library (name tezos_protocol_002_PsYLVpVv_functor) - (public_name tezos-protocol-functor-002-PsYLVpVv) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_003_PsddFKi3/lib_protocol/dune b/src/proto_003_PsddFKi3/lib_protocol/dune index cfd31f37331d..6aa1e078d6cf 100644 --- a/src/proto_003_PsddFKi3/lib_protocol/dune +++ b/src/proto_003_PsddFKi3/lib_protocol/dune @@ -286,7 +286,6 @@ (library (name tezos_protocol_003_PsddFKi3_functor) - (public_name tezos-protocol-functor-003-PsddFKi3) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_004_Pt24m4xi/lib_protocol/dune b/src/proto_004_Pt24m4xi/lib_protocol/dune index b7dc288badc0..4f41b3e45dda 100644 --- a/src/proto_004_Pt24m4xi/lib_protocol/dune +++ b/src/proto_004_Pt24m4xi/lib_protocol/dune @@ -286,7 +286,6 @@ (library (name tezos_protocol_004_Pt24m4xi_functor) - (public_name tezos-protocol-functor-004-Pt24m4xi) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_005_PsBABY5H/lib_protocol/dune b/src/proto_005_PsBABY5H/lib_protocol/dune index 7b9c9131c584..4f1ef44c0400 100644 --- a/src/proto_005_PsBABY5H/lib_protocol/dune +++ b/src/proto_005_PsBABY5H/lib_protocol/dune @@ -289,7 +289,6 @@ (library (name tezos_protocol_005_PsBABY5H_functor) - (public_name tezos-protocol-functor-005-PsBABY5H) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_005_PsBabyM1/lib_protocol/dune b/src/proto_005_PsBabyM1/lib_protocol/dune index e2232205a609..c9f2fc4858e3 100644 --- a/src/proto_005_PsBabyM1/lib_protocol/dune +++ b/src/proto_005_PsBabyM1/lib_protocol/dune @@ -289,7 +289,6 @@ (library (name tezos_protocol_005_PsBabyM1_functor) - (public_name tezos-protocol-functor-005-PsBabyM1) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_006_PsCARTHA/lib_protocol/dune b/src/proto_006_PsCARTHA/lib_protocol/dune index 000dbc12be83..6281cbffc01d 100644 --- a/src/proto_006_PsCARTHA/lib_protocol/dune +++ b/src/proto_006_PsCARTHA/lib_protocol/dune @@ -289,7 +289,6 @@ (library (name tezos_protocol_006_PsCARTHA_functor) - (public_name tezos-protocol-functor-006-PsCARTHA) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_007_PsDELPH1/lib_protocol/dune b/src/proto_007_PsDELPH1/lib_protocol/dune index cfee26135532..6e410dc223de 100644 --- a/src/proto_007_PsDELPH1/lib_protocol/dune +++ b/src/proto_007_PsDELPH1/lib_protocol/dune @@ -295,7 +295,6 @@ (library (name tezos_protocol_007_PsDELPH1_functor) - (public_name tezos-protocol-functor-007-PsDELPH1) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_008_PtEdo2Zk/lib_protocol/dune b/src/proto_008_PtEdo2Zk/lib_protocol/dune index 223f9c00e284..fc601257c5c5 100644 --- a/src/proto_008_PtEdo2Zk/lib_protocol/dune +++ b/src/proto_008_PtEdo2Zk/lib_protocol/dune @@ -310,7 +310,6 @@ (library (name tezos_protocol_008_PtEdo2Zk_functor) - (public_name tezos-protocol-functor-008-PtEdo2Zk) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_008_PtEdoTez/lib_protocol/dune b/src/proto_008_PtEdoTez/lib_protocol/dune index 6cb6796af160..9034602f3769 100644 --- a/src/proto_008_PtEdoTez/lib_protocol/dune +++ b/src/proto_008_PtEdoTez/lib_protocol/dune @@ -310,7 +310,6 @@ (library (name tezos_protocol_008_PtEdoTez_functor) - (public_name tezos-protocol-functor-008-PtEdoTez) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_009_PsFLoren/lib_protocol/dune b/src/proto_009_PsFLoren/lib_protocol/dune index 19204c59a756..74ae595f5948 100644 --- a/src/proto_009_PsFLoren/lib_protocol/dune +++ b/src/proto_009_PsFLoren/lib_protocol/dune @@ -319,7 +319,6 @@ (library (name tezos_protocol_009_PsFLoren_functor) - (public_name tezos-protocol-functor-009-PsFLoren) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_010_PtGRANAD/lib_protocol/dune b/src/proto_010_PtGRANAD/lib_protocol/dune index b5c8dc85f343..41a19845e60c 100644 --- a/src/proto_010_PtGRANAD/lib_protocol/dune +++ b/src/proto_010_PtGRANAD/lib_protocol/dune @@ -334,7 +334,6 @@ (library (name tezos_protocol_010_PtGRANAD_functor) - (public_name tezos-protocol-functor-010-PtGRANAD) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_011_PtHangz2/lib_protocol/dune b/src/proto_011_PtHangz2/lib_protocol/dune index 56bb5da9a74e..4da4e14782ee 100644 --- a/src/proto_011_PtHangz2/lib_protocol/dune +++ b/src/proto_011_PtHangz2/lib_protocol/dune @@ -372,7 +372,6 @@ (library (name tezos_protocol_011_PtHangz2_functor) - (public_name tezos-protocol-functor-011-PtHangz2) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_012_Psithaca/lib_protocol/dune b/src/proto_012_Psithaca/lib_protocol/dune index 8fc81babf6e9..853ec2bf6676 100644 --- a/src/proto_012_Psithaca/lib_protocol/dune +++ b/src/proto_012_Psithaca/lib_protocol/dune @@ -423,7 +423,6 @@ (library (name tezos_protocol_012_Psithaca_functor) - (public_name tezos-protocol-functor-012-Psithaca) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_013_PtJakart/lib_protocol/dune b/src/proto_013_PtJakart/lib_protocol/dune index 058b19e7770d..a8535c1b7813 100644 --- a/src/proto_013_PtJakart/lib_protocol/dune +++ b/src/proto_013_PtJakart/lib_protocol/dune @@ -620,7 +620,6 @@ (library (name tezos_protocol_013_PtJakart_functor) - (public_name tezos-protocol-functor-013-PtJakart) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_alpha/lib_protocol/dune b/src/proto_alpha/lib_protocol/dune index 2679c5eea843..d67ff7c0e3f4 100644 --- a/src/proto_alpha/lib_protocol/dune +++ b/src/proto_alpha/lib_protocol/dune @@ -651,7 +651,6 @@ (library (name tezos_protocol_alpha_functor) - (public_name tezos-protocol-functor-alpha) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_demo_counter/lib_protocol/dune b/src/proto_demo_counter/lib_protocol/dune index 3ce4bbcfbd4e..537397a51496 100644 --- a/src/proto_demo_counter/lib_protocol/dune +++ b/src/proto_demo_counter/lib_protocol/dune @@ -108,7 +108,6 @@ (library (name tezos_protocol_demo_counter_functor) - (public_name tezos-protocol-functor-demo-counter) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_demo_noops/lib_protocol/dune b/src/proto_demo_noops/lib_protocol/dune index 184d5335cc42..64de0c716f55 100644 --- a/src/proto_demo_noops/lib_protocol/dune +++ b/src/proto_demo_noops/lib_protocol/dune @@ -79,7 +79,6 @@ (library (name tezos_protocol_demo_noops_functor) - (public_name tezos-protocol-functor-demo-noops) (libraries tezos-protocol-environment tezos-protocol-environment.sigs diff --git a/src/proto_genesis/lib_protocol/dune b/src/proto_genesis/lib_protocol/dune index 91a7cd151f21..d751b1a66f26 100644 --- a/src/proto_genesis/lib_protocol/dune +++ b/src/proto_genesis/lib_protocol/dune @@ -84,7 +84,6 @@ (library (name tezos_protocol_genesis_functor) - (public_name tezos-protocol-functor-genesis) (libraries tezos-protocol-environment tezos-protocol-environment.sigs -- GitLab