fix shared object file extension

This commit is contained in:
Folkert 2022-08-30 00:15:48 +02:00
parent 835d3b9eb0
commit d9db0b7096
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -90,7 +90,12 @@ pub fn build_and_preprocess_host(
exposed_to_host: Vec<String>,
exported_closure_types: Vec<String>,
) {
let dummy_lib = host_input_path.with_file_name("libapp.obj");
let dummy_lib = if let target_lexicon::OperatingSystem::Windows = target.operating_system {
host_input_path.with_file_name("libapp.obj")
} else {
host_input_path.with_file_name("libapp.so")
};
generate_dynamic_lib(target, exposed_to_host, exported_closure_types, &dummy_lib);
rebuild_host(opt_level, target, host_input_path, Some(&dummy_lib));
let dynhost = host_input_path.with_file_name("dynhost");