From 381d052ed84d33c6eb9ebc233da4593fcae73675 Mon Sep 17 00:00:00 2001
From: Yiyun Liu <yliu@electriclam.com>
Date: Wed, 24 Jul 2024 17:56:33 +0000
Subject: [PATCH] Use gmake for BSD systems

---
 make-package | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/make-package b/make-package
index 5bf541bc..2c55199c 100755
--- a/make-package
+++ b/make-package
@@ -1,8 +1,15 @@
-#!/bin/bash
+#!/bin/sh
 set -e
 # Helper script to build and/or install just one package out of this repository.
 # Assumes that all the other packages it depends on have been installed already!
 
+OS=$(uname)
+MAKE="make"
+if [ $OS == "FreeBSD" ] || [ $OS == "OpenBSD" ] ||\
+       [ $OS == "NetBSD" ] || [ $OS == "DragonFly" ]; then
+    MAKE="gmake"
+fi
+
 PROJECT="$1"
 shift
 
@@ -26,7 +33,7 @@ grep -E "^$PROJECT/" _CoqProject >> "$COQFILE"
 "${COQBIN}coq_makefile" -f "$COQFILE" -o "$MAKEFILE"
 
 # Run build
-make -f "$MAKEFILE" "$@"
+$MAKE -f "$MAKEFILE" "$@"
 
 # Cleanup
 rm -f ".$MAKEFILE.d" "$MAKEFILE"*
-- 
GitLab