dev-lang/gnat-gpl: Add some profile definitions from 2017

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11

2 files changed, 331 insertions, 0 deletions

diff --git a/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch b/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch
new file mode 100644
index 000000000000..561c012a23e6
--- /dev/null
+++ b/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch
@@ -0,0 +1,113 @@
+--- a/gcc/ada/s-rident.ads	2018-11-18 18:47:39.042412895 +0100
++++ b/gcc/ada/s-rident.ads	2018-11-18 19:02:31.736559044 +0100
+@@ -378,15 +378,17 @@
+    type Profile_Name is
+      (No_Profile,
+       No_Implementation_Extensions,
++      Restricted_Tasking,
++      Restricted,
+       Ravenscar,
+       GNAT_Extended_Ravenscar,
+-      Restricted);
++      GNAT_Ravenscar_EDF);
+    --  Names of recognized profiles. No_Profile is used to indicate that a
+    --  restriction came from pragma Restrictions[_Warning], as opposed to
+    --  pragma Profile[_Warning].
+ 
+    subtype Profile_Name_Actual is Profile_Name
+-     range No_Implementation_Extensions .. Restricted;
++     range No_Implementation_Extensions .. Profile_Name'Last;
+    --  Actual used profile names
+ 
+    type Profile_Data is record
+@@ -456,6 +458,40 @@
+                            Max_Task_Entries                => 0,
+                            others                          => 0)),
+ 
++                     --  Restricted_Tasking Profile
++
++                     Restricted_Tasking =>
++
++                        --  Restrictions for Restricted_Tasking profile
++
++                       (Set   =>
++                          (No_Abort_Statements             => True,
++                           No_Asynchronous_Control         => True,
++                           No_Dynamic_Attachment           => True,
++                           No_Dynamic_Priorities           => True,
++                           No_Entry_Queue                  => True,
++                           No_Local_Protected_Objects      => True,
++                           No_Protected_Type_Allocators    => True,
++                           No_Requeue_Statements           => True,
++                           No_Task_Allocators              => True,
++                           No_Task_Attributes_Package      => True,
++                           No_Task_Hierarchy               => True,
++                           No_Terminate_Alternatives       => True,
++                           Max_Asynchronous_Select_Nesting => True,
++                           Max_Protected_Entries           => True,
++                           Max_Select_Alternatives         => True,
++                           Max_Task_Entries                => True,
++                           others                          => False),
++
++                        --  Value settings for Restricted profile
++
++                        Value =>
++                          (Max_Asynchronous_Select_Nesting => 0,
++                           Max_Protected_Entries           => 1,
++                           Max_Select_Alternatives         => 0,
++                           Max_Task_Entries                => 0,
++                           others                          => 0)),
++
+                      --  Ravenscar Profile
+ 
+                      --  Note: the table entries here only represent the
+@@ -509,6 +545,49 @@
+                            Max_Task_Entries                => 0,
+                            others                          => 0)),
+ 
++                     GNAT_Ravenscar_EDF  =>
++
++                     --  Restrictions for Ravenscar = Restricted profile ..
++
++                       (Set   =>
++                          (No_Abort_Statements             => True,
++                           No_Asynchronous_Control         => True,
++                           No_Dynamic_Attachment           => True,
++                           No_Dynamic_Priorities           => True,
++                           No_Entry_Queue                  => True,
++                           No_Local_Protected_Objects      => True,
++                           No_Protected_Type_Allocators    => True,
++                           No_Requeue_Statements           => True,
++                           No_Task_Allocators              => True,
++                           No_Task_Attributes_Package      => True,
++                           No_Task_Hierarchy               => True,
++                           No_Terminate_Alternatives       => True,
++                           Max_Asynchronous_Select_Nesting => True,
++                           Max_Protected_Entries           => True,
++                           Max_Select_Alternatives         => True,
++                           Max_Task_Entries                => True,
++
++                           --  plus these additional restrictions:
++
++                           No_Calendar                      => True,
++                           No_Implicit_Heap_Allocations     => True,
++                           No_Local_Timing_Events           => True,
++                           No_Relative_Delay                => True,
++                           No_Select_Statements             => True,
++                           No_Specific_Termination_Handlers => True,
++                           No_Task_Termination              => True,
++                           Simple_Barriers                  => True,
++                           others                           => False),
++
++                        --  Value settings for Ravenscar (same as Restricted)
++
++                        Value =>
++                          (Max_Asynchronous_Select_Nesting => 0,
++                           Max_Protected_Entries           => 1,
++                           Max_Select_Alternatives         => 0,
++                           Max_Task_Entries                => 0,
++                           others                          => 0)),
++
+                      GNAT_Extended_Ravenscar  =>
+ 
+                      --  Restrictions for GNAT_Extended_Ravenscar =
diff --git a/dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild b/dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild
new file mode 100644
index 000000000000..d0a087fcbdae
--- /dev/null
+++ b/dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild
@@ -0,0 +1,218 @@
+# Copyright 1999-2018 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+PATCH_VER="1.3"
+UCLIBC_VER="1.0"
+
+# Hardened gcc 4 stuff
+PIE_VER="0.6.4"
+SPECS_VER="0.2.0"
+SPECS_GCC_VER="4.4.3"
+# arch/libc configurations known to be stable with {PIE,SSP}-by-default
+PIE_GLIBC_STABLE="x86 amd64 mips ppc ppc64 arm ia64"
+PIE_UCLIBC_STABLE="x86 arm amd64 mips ppc ppc64"
+SSP_STABLE="amd64 x86 mips ppc ppc64 arm"
+# uclibc need tls and nptl support for SSP support
+# uclibc need to be >= 0.9.33
+SSP_UCLIBC_STABLE="x86 amd64 mips ppc ppc64 arm"
+#end Hardened stuff
+
+TOOLCHAIN_GCC_PV=4.9.4
+
+inherit eutils toolchain-funcs toolchain
+
+REL=4.9
+MYP=gcc-${REL}-gpl-${PV}-src
+BTSTRP_X86=gnat-gpl-2014-x86-linux-bin
+BTSTRP_AMD64=gnat-gpl-2014-x86_64-linux-bin
+
+DESCRIPTION="GNAT Ada Compiler - GPL version"
+HOMEPAGE="http://libre.adacore.com/"
+SRC_URI+="
+	http://mirrors.cdn.adacore.com/art/57399304c7a447658e0aff7f
+		-> ${P}-src.tar.gz
+	http://mirrors.cdn.adacore.com/art/573992d4c7a447658d00e1db
+		-> ${MYP}.tar.gz
+	http://mirrors.cdn.adacore.com/art/57399232c7a447658e0aff7d
+		-> gcc-interface-${REL}-gpl-${PV}-src.tar.gz
+	bootstrap? (
+		amd64? (
+			http://mirrors.cdn.adacore.com/art/564b3ebec8e196b040fbe66c ->
+			${BTSTRP_AMD64}.tar.gz
+		)
+		x86? (
+			http://mirrors.cdn.adacore.com/art/564b3e9dc8e196b040fbe248 ->
+			${BTSTRP_X86}.tar.gz
+		)
+	)"
+
+LICENSE+=" GPL-2 GPL-3"
+SLOT="${TOOLCHAIN_GCC_PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="bootstrap"
+
+RDEPEND="!sys-devel/gcc:${TOOLCHAIN_GCC_PV}"
+DEPEND="${RDEPEND}
+	elibc_glibc? ( >=sys-libs/glibc-2.8 )
+	>=sys-devel/binutils-2.20"
+
+PDEPEND="${PDEPEND} elibc_glibc? ( >=sys-libs/glibc-2.8 )"
+
+S="${WORKDIR}"/${MYP}
+
+FSFGCC=gcc-${TOOLCHAIN_GCC_PV}
+
+pkg_setup() {
+	toolchain_pkg_setup
+
+	if use amd64; then
+		BTSTRP=${BTSTRP_AMD64}
+	else
+		BTSTRP=${BTSTRP_X86}
+	fi
+	if use bootstrap; then
+		GCC="${WORKDIR}"/${BTSTRP}/bin/gcc
+	else
+		GCC=${ADA:-$(tc-getCC)}
+	fi
+	CC=${GCC}
+	local base=$(basename ${GCC})
+	CXX="${base/gcc/g++}"
+	GNATMAKE="${base/gcc/gnatmake}"
+	GNATBIND="${base/gcc/gnatbind}"
+	if [[ ${base} != ${GCC} ]] ; then
+		local path=$(dirname ${GCC})
+		GNATMAKE="${path}/${GNATMAKE}"
+		GNATBIND="${path}/${GNATBIND}"
+		CXX="${path}/${CXX}"
+	fi
+}
+
+src_unpack() {
+	if ! use bootstrap && [[ -z "$(type ${GNATMAKE} 2>/dev/null)" ]] ; then
+		eerror "You need a gcc compiler that provides the Ada Compiler:"
+		eerror "1) use gcc-config to select the right compiler or"
+		eerror "2) set the bootstrap use flag"
+		die "ada compiler not available"
+	fi
+
+	GCC_A_FAKEIT="${P}-src.tar.gz
+		${MYP}.tar.gz
+		${FSFGCC}.tar.bz2
+		gcc-interface-${REL}-gpl-${PV}-src.tar.gz"
+	if use bootstrap; then
+		GCC_A_FAKEIT="${GCC_A_FAKEIT} ${BTSTRP}.tar.gz"
+	fi
+
+	toolchain_src_unpack
+	if use bootstrap; then
+		rm ${BTSTRP}/libexec/gcc/${CHOST}/4.7.4/ld || die
+	fi
+}
+
+src_prepare() {
+	mv ../${P}-src/src/ada gcc/ || die
+	mv ../gcc-interface-${REL}-gpl-${PV}-src gcc/ada/gcc-interface || die
+
+	sed -i \
+		-e "s:gnatmake:${GNATMAKE}:g" \
+		gcc/ada/Make-generated.in || die "sed failed"
+
+	sed -i \
+		-e "/xoscons/s:gnatmake:${GNATMAKE}:g" \
+		gcc/ada/gcc-interface/Makefile.in || die "sed failed"
+
+	mv ../${FSFGCC}/gcc/doc/gcc.info gcc/doc/ || die
+	mv ../${FSFGCC}/libjava . || die
+	rm -r ../${FSFGCC} || die
+
+	cd ..
+	epatch "${FILESDIR}"/${P}-gentoo.patch
+	rm patch/10_all_default-fortify-source.patch
+	rm piepatch/34_all_gcc48_config_i386.patch
+	cd -
+
+	if has_version '<sys-libs/glibc-2.12' ; then
+		ewarn "Your host glibc is too old; disabling automatic fortify."
+		ewarn "Please rebuild gcc after upgrading to >=glibc-2.12 #362315"
+		EPATCH_EXCLUDE+=" 10_all_default-fortify-source.patch"
+	fi
+
+	# Bug 638056
+	epatch "${FILESDIR}/${P}-bootstrap.patch"
+	# add Finalization_Size Attribute
+	epatch "${FILESDIR}/${P}-finalization.patch"
+	# add profile for gnat_util compatibility
+	epatch "${FILESDIR}/${P}-profile.patch"
+
+	toolchain_src_prepare
+
+	use vanilla && return 0
+	# Use -r1 for newer piepatchet that use DRIVER_SELF_SPECS for the hardened specs.
+	[[ ${CHOST} == ${CTARGET} ]] && epatch "${FILESDIR}"/gcc-spec-env-r1.patch
+}
+
+src_configure() {
+	local trueGCC_BRANCH_VER=${GCC_BRANCH_VER}
+	GCC_BRANCH_VER=$(gcc-version)
+	downgrade_arch_flags
+	GCC_BRANCH_VER=${trueGCC_BRANCH_VER}
+	toolchain_src_configure \
+		--enable-languages=ada \
+		--disable-libada \
+		CC=${GCC} \
+		GNATBIND=${GNATBIND} \
+		GNATMAKE=yes
+}
+
+src_compile() {
+	unset ADAFLAGS
+	toolchain_src_compile
+	gcc_do_make "-C gcc gnatlib-shared"
+	ln -s gcc ../build/prev-gcc || die
+	ln -s ${CHOST} ../build/prev-${CHOST} || die
+	gcc_do_make "-C gcc gnattools"
+}
+
+src_install() {
+	toolchain_src_install
+	cd "${D}"${BINPATH}
+	for x in gnat*; do
+		# For some reason, g77 gets made instead of ${CTARGET}-g77...
+		# this should take care of that
+		if [[ -f ${x} ]] ; then
+			# In case they're hardlinks, clear out the target first
+			# otherwise the mv below will complain.
+			rm -f ${CTARGET}-${x}
+			mv ${x} ${CTARGET}-${x}
+		fi
+
+		if [[ -f ${CTARGET}-${x} ]] ; then
+			if ! is_crosscompile ; then
+				ln -sf ${CTARGET}-${x} ${x}
+				dosym ${BINPATH#${EPREFIX}}/${CTARGET}-${x} \
+					/usr/bin/${x}-${GCC_CONFIG_VER}
+			fi
+			# Create versioned symlinks
+			dosym ${BINPATH#${EPREFIX}}/${CTARGET}-${x} \
+				/usr/bin/${CTARGET}-${x}-${GCC_CONFIG_VER}
+		fi
+
+		if [[ -f ${CTARGET}-${x}-${GCC_CONFIG_VER} ]] ; then
+			rm -f ${CTARGET}-${x}-${GCC_CONFIG_VER}
+			ln -sf ${CTARGET}-${x} ${CTARGET}-${x}-${GCC_CONFIG_VER}
+		fi
+	done
+}
+
+pkg_postinst () {
+	toolchain_pkg_postinst
+	einfo "This provide the GNAT compiler with gcc for ada/c/c++ and more"
+	einfo "The compiler binary is gcc-${TOOLCHAIN_GCC_PV}"
+	einfo "Even if the c/c++ compilers are using almost the same patched"
+	einfo "source as the sys-devel/gcc package its use is not extensively"
+	einfo "tested, and not supported for updating your system, except for ada"
+	einfo "related packages"
+}