diff options
Diffstat (limited to 'profiles/default/linux/ppc64le/17.0/ieee-long-double/profile.bashrc')
| -rw-r--r-- | profiles/default/linux/ppc64le/17.0/ieee-long-double/profile.bashrc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/profile.bashrc b/profiles/default/linux/ppc64le/17.0/ieee-long-double/profile.bashrc new file mode 100644 index 000000000000..ad5bf064bb80 --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/profile.bashrc @@ -0,0 +1,11 @@ +if [[ "${EBUILD_PHASE}" == "setup" ]] ; then + if [[ ${CATEGORY}/${PN} != sys-devel/gcc ]]; then + if [[ $(${CC:-cc} -E -dM - < /dev/null | grep -o '__LDBL_MANT_DIG__ .*') != "__LDBL_MANT_DIG__ 113" ]]; then + eerror + eerror "${CC:-cc} should provide ieee-long-double on this profile by default" + eerror "reinstall sys-devel/gcc with USE=ieee-long-double and try again." + eerror + die "install >=sys-devel/gcc-12[ieee-long-double]" + fi + fi +fi |