From 8130183f4b5e9f104290f487108dc272c53e07cd Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Thu, 26 Jan 2023 11:31:31 +0100 Subject: dev-lang/smlnj: better makefile fix Signed-off-by: Alfredo Tupone --- dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'dev-lang') diff --git a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch index c16fece127be..8073e36baf41 100644 --- a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch +++ b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch @@ -1,12 +1,10 @@ --- 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 @@ +@@ -26,6 +26,7 @@ strftime.o \ unix-date.o --$(LIBRARY) : $(VERSION) $(OBJS) -+$(LIBRARY) : $(VERSION) -+ $(MAKE) $(OBJS) ++$(OBJS) : $(VERSION) + $(LIBRARY) : $(VERSION) $(OBJS) rm -rf $(LIBRARY) $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS) - $(RANLIB) $(LIBRARY) -- cgit v1.2.3-65-gdbad