From 6b386fb67decefd9f5a1930708a4114705a8c513 Mon Sep 17 00:00:00 2001
From: Romain Bardou <romain@nomadic-labs.com>
Date: Fri, 23 Sep 2022 16:00:20 +0200
Subject: [PATCH] Build: make build-deps installs ledgerwallet-tezos

---
 manifest/main.ml             |  4 ++++
 opam/mandatory-for-make.opam | 11 +++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 opam/mandatory-for-make.opam

diff --git a/manifest/main.ml b/manifest/main.ml
index 2a15f8f3e0b7..a62af92f3a6c 100644
--- a/manifest/main.ml
+++ b/manifest/main.ml
@@ -5668,6 +5668,10 @@ let exclude filename =
   | "vendors" :: _ -> true
   | "scripts" :: _ -> true
   | "docs" :: _ -> true
+  (* opam/mandatory-for-make.opam is a trick to have [make build-deps]
+     install some optional dependencies in a mandatory way.
+     Once we use lock files, we can remove this, probably. *)
+  | ["opam"; "mandatory-for-make.opam"] -> true
   (* opam-repository is used by scripts/opam-release.sh *)
   | "opam-repository" :: _ -> true
   (* Tezt is only partially managed by the manifest.
diff --git a/opam/mandatory-for-make.opam b/opam/mandatory-for-make.opam
new file mode 100644
index 000000000000..d9c57936eb52
--- /dev/null
+++ b/opam/mandatory-for-make.opam
@@ -0,0 +1,11 @@
+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: [
+  "ledgerwallet-tezos"
+]
+synopsis: "Forces install of ledgerwallet-tezos by make build-deps"
-- 
GitLab