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.

Author: amosr-msft

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"