diff options
Diffstat (limited to 'dev-lang/smlnj')
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 12 | ||||
| -rw-r--r-- | dev-lang/smlnj/smlnj-110.99.3.ebuild | 4 |
2 files changed, 15 insertions, 1 deletions
diff --git a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch new file mode 100644 index 000000000000..c16fece127be --- /dev/null +++ b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch @@ -0,0 +1,12 @@ +--- a/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:32:22.450319630 +0100 ++++ b/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:37:23.920174357 +0100 +@@ -26,7 +26,8 @@ + strftime.o \ + unix-date.o + +-$(LIBRARY) : $(VERSION) $(OBJS) ++$(LIBRARY) : $(VERSION) ++ $(MAKE) $(OBJS) + rm -rf $(LIBRARY) + $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) + $(RANLIB) $(LIBRARY) 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 |