From a69a52a84918208fc8fc1659f248c80bb1c29ed4 Mon Sep 17 00:00:00 2001
From: Amos Robinson <amosrobinson@microsoft.com>
Date: Thu, 26 Feb 2026 01:52:13 +0000
Subject: [PATCH] opam: build with gmake on mac

The Makefile prohibits the default make found on MacOS, so
`opam install` won't work by default, unless the user specifies
to use gmake by eg setting opam's make env var.

It seems reasonable to use gmake by default on MacOS. I added similar
logic to karamel a few months ago.
---
 pulse.opam | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/pulse.opam b/pulse.opam
index 6b9820a11..6d4a13cc5 100644
--- a/pulse.opam
+++ b/pulse.opam
@@ -8,11 +8,16 @@ depends: [
   "ocaml"
   "fstar" {>= "2023.04.15~dev"}
 ]
+# require modern GNU make (brew package 'make') on mac
+depexts: ["coreutils" "make"] {os = "macos" & os-distribution = "homebrew"}
 build: [
-  [make "-j" jobs "ADMIT=1"]
+   # Makefile requires modern make - build with gmake on mac
+  ["gmake" "-j" jobs "ADMIT=1"] { os = "macos" }
+  [make "-j" jobs "ADMIT=1"] { os != "macos" }
 ]
 install: [
-  [make "PREFIX=%{prefix}%" "install"]
+  ["gmake" "PREFIX=%{prefix}%" "install"] { os = "macos" }
+  [make "PREFIX=%{prefix}%" "install"] { os != "macos" }
 ]
 dev-repo: "git://github.com/FStarLang/pulse"
 bug-reports: "https://github.com/FStarLang/pulse/issues"