commit: 071551d00babe36eae561834f39ec3d23d1f9680 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Tue Jun 4 07:29:11 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Tue Jun 4 07:29:11 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=071551d0
dev-lang/smlnj: fix makefile Closes: https://bugs.gentoo.org/911877 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch index 603eeed0f562..0f0d343fc136 100644 --- a/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch +++ b/dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch @@ -11,3 +11,15 @@ rm -rf $(LIBRARY) $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) $(RANLIB) $(LIBRARY) +--- a/base/runtime/objs/makefile 2024-06-04 09:26:03.961409055 +0200 ++++ b/base/runtime/objs/makefile 2024-06-04 09:27:12.461586788 +0200 +@@ -113,7 +113,8 @@ + (cd $(MP_DIR); $(MAKE) MAKE="$(MAKE)" clean) + + +-$(RUNTIME): $(VERSION) main.o $(OBJS) $(ALL_LIBS) ++$(RUNTIME): $(VERSION) ++ $(MAKE) main.o $(OBJS) $(ALL_LIBS) + $(CC) -o $(RUNTIME) $(CFLAGS) $(LDFLAGS) main.o $(OBJS) $(ALL_LIBS) $(LD_LIBS) + + $(RUNTIME_A): $(VERSION) main.o $(OBJS) $(ALL_LIBS)
