Incorporate changes from sandbox-friendly PR

This commit is contained in:
Niko 2023-10-27 08:16:09 -06:00
parent ace4bbd18a
commit ccccfe758d
No known key found for this signature in database
GPG key ID: 3861E636EA1E0E2B

View file

@ -131,6 +131,13 @@ fn main() {
config.define("WHISPER_CLBLAST", "ON"); config.define("WHISPER_CLBLAST", "ON");
} }
if cfg!(feature = "metal") {
config.define("WHISPER_METAL", "ON");
} else {
// Metal is enabled by default, so we need to explicitly disable it
config.define("WHISPER_METAL", "OFF");
}
let destination = config.build(); let destination = config.build();
if env::var("TARGET").unwrap().contains("window") { if env::var("TARGET").unwrap().contains("window") {