From e809d0c5d286eec6f0151e4ab6d483e0f8adfd55 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 7 Jun 2022 16:23:58 +0200
Subject: [PATCH] avoid make loop in some macOS configurations
---
opam/opam | 1 +
1 file changed, 1 insertion(+)
diff --git a/opam/opam b/opam/opam
index e65da66328e..c79d0e11f31 100644
--- a/opam/opam
+++ b/opam/opam
@@ -91,6 +91,7 @@ build: [
["./configure" "--prefix" prefix
"--mandir=%{man}%"
]
+ [make "depend"]
[make "-j%{jobs}%"]
[make "-C" "doc" "download"] {with-doc}
]
--
GitLab