diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 09:05:42 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 09:05:42 +0000 |
| commit | c3870d5920e6ee600e9360c3a5b004b7ad0c5abf (patch) | |
| tree | 783e53d0526f67659a53911dd1dd9ca88eaad19a /profiles/default | |
| parent | 94393d04ccce851b0084c650c99a2eca52f9d3bb (diff) | |
gentoo auto-resync : 05:12:2022 - 09:05:41
Diffstat (limited to 'profiles/default')
7 files changed, 37 insertions, 0 deletions
diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/eapi b/profiles/default/linux/ppc64le/17.0/ieee-long-double/eapi new file mode 100644 index 000000000000..7ed6ff82de6b --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/eapi @@ -0,0 +1 @@ +5 diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.accept_keywords b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.accept_keywords new file mode 100644 index 000000000000..490d12daa4b7 --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.accept_keywords @@ -0,0 +1,6 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +# Georgy Yakovlev <gyakovlev@gentoo.org> (2022-12-04) +# only gcc-12 provides ieee-long-double, which is not stable yet. +=sys-devel/gcc-12* ~ppc64 diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.mask b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.mask new file mode 100644 index 000000000000..b230f17da0a1 --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.mask @@ -0,0 +1,6 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +# Georgy Yakovlev <gyakovlev@gentoo.org> (2022-12-04) +# We need gcc-12 for ieee-long-double. +<sys-devel/gcc-12 diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.force b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.force new file mode 100644 index 000000000000..eed79dfe450c --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.force @@ -0,0 +1,6 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +# Georgy Yakovlev <gyakovlev@gentoo.org> (2022-12-04) +# Hard requirement for this profile. +sys-devel/gcc ieee-long-double diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.mask b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.mask new file mode 100644 index 000000000000..5d3622b69845 --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/package.use.mask @@ -0,0 +1,6 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +# Georgy Yakovlev <gyakovlev@gentoo.org> (2022-12-04) +# We need gcc-12 for ieee-long-double. +>=sys-devel/gcc-12 -ieee-long-double diff --git a/profiles/default/linux/ppc64le/17.0/ieee-long-double/parent b/profiles/default/linux/ppc64le/17.0/ieee-long-double/parent new file mode 100644 index 000000000000..f3229c5b9876 --- /dev/null +++ b/profiles/default/linux/ppc64le/17.0/ieee-long-double/parent @@ -0,0 +1 @@ +.. 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 |