diff options
Diffstat (limited to 'dev-lang/gnat-gpl')
| -rw-r--r-- | dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch | 113 | ||||
| -rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild | 218 |
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" +} |