diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-04 09:29:11 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-04 09:29:11 +0200 |
| commit | 071551d00babe36eae561834f39ec3d23d1f9680 (patch) | |
| tree | 03af11d3592430343c72e8717d88021cbf5e83e1 | |
| parent | dev-lang/smlnj: fix makefile (diff) | |
| download | gentoo-071551d00babe36eae561834f39ec3d23d1f9680.tar.gz gentoo-071551d00babe36eae561834f39ec3d23d1f9680.tar.bz2 gentoo-071551d00babe36eae561834f39ec3d23d1f9680.zip | |
dev-lang/smlnj: fix makefile
Closes: https://bugs.gentoo.org/911877
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.4-shuffle.patch | 12 |
1 files changed, 12 insertions, 0 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 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) |