summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-01-23 08:46:01 +0100
committerAlfredo Tupone <tupone@gentoo.org>2023-01-23 08:46:36 +0100
commitc537980d10bd2038986374cfcec789dd913a1e7c (patch)
treee51035c23f4b5b01e96ece9d24041b951d3fbd24 /dev-lang
parentdev-python/fakeredis: Bump to 2.5.0 (diff)
downloadgentoo-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')
-rw-r--r--dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch12
-rw-r--r--dev-lang/smlnj/smlnj-110.99.3.ebuild4
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