diff options
| -rw-r--r-- | dev-lang/pgi/pgi-13.5.ebuild | 6 | ||||
| -rw-r--r-- | profiles/package.mask | 1 |
2 files changed, 3 insertions, 4 deletions
diff --git a/dev-lang/pgi/pgi-13.5.ebuild b/dev-lang/pgi/pgi-13.5.ebuild index 19c636132..19ec7445b 100644 --- a/dev-lang/pgi/pgi-13.5.ebuild +++ b/dev-lang/pgi/pgi-13.5.ebuild @@ -1,10 +1,10 @@ # Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -EAPI=6 +EAPI=7 DESCRIPTION="PGI compiler suite" -HOMEPAGE="http://www.pgroup.com/" +HOMEPAGE="https://www.pgroup.com" SRC_URI="pgilinux-2013-135.tar.gz" LICENSE="PGI" @@ -14,7 +14,7 @@ IUSE="cuda java" RDEPEND="net-misc/curl" -RESTRICT="mirror strip" +RESTRICT="mirror strip fetch" QA_PREBUILT=" opt/pgi/linux86/2013/cuda/4.2/lib/lib*.so.* diff --git a/profiles/package.mask b/profiles/package.mask index cc73ad6d1..0c1f7b78e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -38,7 +38,6 @@ dev-java/hdf-java # Aisha Tammy <gentoo@aisha.cc> (2020-11-19) # mask unfetchable packages until someone fixes. -dev-lang/pgi dev-ml/lacaml dev-perl/Bio-EnsEMBL dev-util/f90cache |