We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9c7603e commit 381be13Copy full SHA for 381be13
1 file changed
R/utils.R
@@ -92,8 +92,11 @@ arch_is_aarch64 <- function() {
92
}
93
94
# Returns the type of make command to use to compile depending on the OS
95
+# First checks if $MAKE is set, otherwise falls back to system-specific default
96
make_cmd <- function() {
- if ((cmdstan_version() < "2.35.0") && os_is_windows() && !os_is_wsl() &&
97
+ if (Sys.getenv("MAKE") != "") {
98
+ Sys.getenv("MAKE")
99
+ } else if ((cmdstan_version() < "2.35.0") && os_is_windows() && !os_is_wsl() &&
100
(Sys.getenv("CMDSTANR_USE_RTOOLS") == "")) {
101
"mingw32-make.exe"
102
} else {
0 commit comments