diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-26 11:31:31 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-26 11:31:58 +0100 |
| commit | 8130183f4b5e9f104290f487108dc272c53e07cd (patch) | |
| tree | 22fb9bedbaa2fb4e5cbd84fb1164a40792dd6c31 /dev-lang/smlnj | |
| parent | dev-python/podman-py: Backport tomli/tomllib port (diff) | |
| download | gentoo-8130183f4b5e9f104290f487108dc272c53e07cd.tar.gz gentoo-8130183f4b5e9f104290f487108dc272c53e07cd.tar.bz2 gentoo-8130183f4b5e9f104290f487108dc272c53e07cd.zip | |
dev-lang/smlnj: better makefile fix
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-lang/smlnj')
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 8 |
1 files changed, 3 insertions, 5 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 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) |