Change preprocessedhost filename

This commit is contained in:
Richard Feldman 2022-11-18 23:54:21 -05:00
parent 7f617c87bf
commit 062ecce84c
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
5 changed files with 17 additions and 9 deletions

View file

@ -119,7 +119,7 @@ const fn legacy_host_filename_ext(target: &Triple, opt_level: OptLevel) -> Optio
const PRECOMPILED_HOST_EXT: &str = "rh1"; // Short for "roc host version 1" (so we can change format in the future)
pub const fn precompiled_host_filename(target: &Triple) -> Option<&'static str> {
pub const fn preprocessed_host_filename(target: &Triple) -> Option<&'static str> {
match target {
Triple {
operating_system: OperatingSystem::Linux,
@ -164,7 +164,7 @@ pub const fn precompiled_host_filename(target: &Triple) -> Option<&'static str>
pub fn legacy_host_filename(target: &Triple, opt_level: OptLevel) -> Option<String> {
let ext = legacy_host_filename_ext(target, opt_level)?;
Some(precompiled_host_filename(target)?.replace(PRECOMPILED_HOST_EXT, ext))
Some(preprocessed_host_filename(target)?.replace(PRECOMPILED_HOST_EXT, ext))
}
fn find_zig_str_path() -> PathBuf {