diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-04 09:12:23 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-04 09:13:35 +0200 |
| commit | 0ba2d5062ee58521f356d91c2cd33259705d53af (patch) | |
| tree | 4bcfe2b7bcebc7a589495212715d42a5e768ee55 /dev-lang/smlnj | |
| parent | media-gfx/alembic: drop 1.8.4, 1.8.5 (diff) | |
| download | gentoo-0ba2d5062ee58521f356d91c2cd33259705d53af.tar.gz gentoo-0ba2d5062ee58521f356d91c2cd33259705d53af.tar.bz2 gentoo-0ba2d5062ee58521f356d91c2cd33259705d53af.zip | |
dev-lang/smlnj: fix makefile
Closes: https://bugs.gentoo.org/928112
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-lang/smlnj')
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch | 13 | ||||
| -rw-r--r-- | dev-lang/smlnj/smlnj-110.99.4.ebuild | 4 |
2 files changed, 16 insertions, 1 deletions
diff --git a/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch new file mode 100644 index 000000000000..603eeed0f562 --- /dev/null +++ b/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch @@ -0,0 +1,13 @@ +--- a/base/runtime/c-libs/posix-io/makefile 2024-06-04 08:38:20.192453601 +0200 ++++ b/base/runtime/c-libs/posix-io/makefile 2024-06-04 08:39:09.504903619 +0200 +@@ -37,7 +37,9 @@ + lseek.o \ + fsync.o + +-$(LIBRARY) : $(VERSION) $(OBJS) ++$(LIBRARY) : ++ $(MAKE) $(VERSION) ++ $(MAKE) $(OBJS) + rm -rf $(LIBRARY) + $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) + $(RANLIB) $(LIBRARY) diff --git a/dev-lang/smlnj/smlnj-110.99.4.ebuild b/dev-lang/smlnj/smlnj-110.99.4.ebuild index 8b5e2ab139ba..fd72dd7ca0a9 100644 --- a/dev-lang/smlnj/smlnj-110.99.4.ebuild +++ b/dev-lang/smlnj/smlnj-110.99.4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -81,6 +81,8 @@ src_unpack() { # Unpack asdl to fix autoconf linker check unpack "${S}"/asdl.tgz + + eapply "${FILESDIR}"/${P}-shuffle.patch } src_prepare() { |