diff options
| author | Christian Poveda <christian.poveda@ferrous-systems.com> | 2022-09-07 15:37:48 -0500 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2022-09-22 21:18:25 -1000 |
| commit | 3ec5c8746204ad82bfbf0239d3e9d95d92c2e331 (patch) | |
| tree | d31b152420e2fb41987f9394aee2799aa921b037 /src/codegen/helpers.rs | |
| parent | c84897d33846b4cf0d8494e20326cbc6fc3bb0d8 (diff) | |
use `#[feature(core_ffi_c)]` when available
Diffstat (limited to 'src/codegen/helpers.rs')
| -rw-r--r-- | src/codegen/helpers.rs | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/src/codegen/helpers.rs b/src/codegen/helpers.rs index 75c169c6..5bf36acb 100644 --- a/src/codegen/helpers.rs +++ b/src/codegen/helpers.rs @@ -166,9 +166,19 @@ pub mod ast_ty { #prefix::#ident } } - None => quote! { - ::std::os::raw::#ident - }, + None => { + if ctx.options().use_core && + ctx.options().rust_features().core_ffi_c + { + quote! { + ::core::ffi::#ident + } + } else { + quote! { + ::std::os::raw::#ident + } + } + } } } |