update usage of 'make' post CmdStan 2.35

- mingw32-make is no longer required on Windows closes #1035
stan-dev · Nov 18, 2024 · 29d388a · 29d388a
1 parent bceb482
commit 29d388a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/R/utils.R b/R/utils.R
@@ -92,8 +92,12 @@ arch_is_aarch64 <- function() {
 }
 
 # Returns the type of make command to use to compile depending on the OS
+# First checks if $MAKE is set, otherwise falls back to system-specific default
 make_cmd <- function() {
-  if (os_is_windows() && !os_is_wsl() && (Sys.getenv("CMDSTANR_USE_RTOOLS") == "")) {
+  if (Sys.getenv("MAKE") != "") {
+    Sys.getenv("MAKE")
+  } else if ((cmdstan_version() < "2.35.0") && os_is_windows() && !os_is_wsl() &&
+      (Sys.getenv("CMDSTANR_USE_RTOOLS") == "")) {
     "mingw32-make.exe"
   } else {
     "make"