diff options
Diffstat (limited to 'dev-lang/smlnj/smlnj-110.99.3.ebuild')
-rw-r--r-- | dev-lang/smlnj/smlnj-110.99.3.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-lang/smlnj/smlnj-110.99.3.ebuild b/dev-lang/smlnj/smlnj-110.99.3.ebuild index 9186f5e6aefb..35f77904057e 100644 --- a/dev-lang/smlnj/smlnj-110.99.3.ebuild +++ b/dev-lang/smlnj/smlnj-110.99.3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -62,6 +62,8 @@ SLOT="0" # sparc support should be there but is untested KEYWORDS="~amd64 ~ppc ~x86" +PATCHES=( "${FILESDIR}"/${P}-shuffle.patch ) + src_unpack() { mkdir -p "${S}" || die local file |