diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2023-01-23 08:46:01 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-23 08:46:36 +0100 |
commit | c537980d10bd2038986374cfcec789dd913a1e7c (patch) | |
tree | e51035c23f4b5b01e96ece9d24041b951d3fbd24 /dev-lang/smlnj | |
parent | dev-python/fakeredis: Bump to 2.5.0 (diff) | |
download | gentoo-c537980d10bd2038986374cfcec789dd913a1e7c.tar.gz gentoo-c537980d10bd2038986374cfcec789dd913a1e7c.tar.bz2 gentoo-c537980d10bd2038986374cfcec789dd913a1e7c.zip |
dev-lang/smlnj: fix makefile
Closes: https://bugs.gentoo.org/882679
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
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 |