gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity

dev-lang/smlnj: better makefile fix

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2023-01-26 11:31:31 +01:00
parent 53f7551e69
commit 8130183f4b
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch
View File

@@ -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)