Wrong link names?
Shouldn't #[link_name = "mpfr_pow_uj"]
and #[link_name = "mpfr_pow_sj"]
be #[link_name = "__gmpfr_mpfr_pow_uj"]
and #[link_name = "__gmpfr_mpfr_pow_sj"]
, respectively?
Shouldn't #[link_name = "mpfr_pow_uj"]
and #[link_name = "mpfr_pow_sj"]
be #[link_name = "__gmpfr_mpfr_pow_uj"]
and #[link_name = "__gmpfr_mpfr_pow_sj"]
, respectively?