diff options
| -rw-r--r-- | dev-ada/gnat_util/gnat_util-2018.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ada/gnat_util/gnat_util-2018.ebuild b/dev-ada/gnat_util/gnat_util-2018.ebuild index 3f9094eca060..a60bab1f3254 100644 --- a/dev-ada/gnat_util/gnat_util-2018.ebuild +++ b/dev-ada/gnat_util/gnat_util-2018.ebuild @@ -17,7 +17,7 @@ SLOT="0" KEYWORDS="~amd64 ~x86" IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic" -RDEPEND="dev-lang/gnat-gpl:7.3.0" +RDEPEND="dev-lang/gnat-gpl:7.3.1" DEPEND="${RDEPEND} dev-ada/gprbuild[gnat_2018]" REQUIRED_USE="!gnat_2016 !gnat_2017 gnat_2018" @@ -27,7 +27,7 @@ S="${WORKDIR}"/${MYP}-src PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) src_compile() { - GCC_PV=7.3.0 + GCC_PV=7.3.1 GCC=${CHOST}-gcc-${GCC_PV} GNATMAKE=${CHOST}-gnatmake-${GCC_PV} emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ |