From ca2ebae012d6cdcc19d0a01f54f3dad614de8e68 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Thu, 24 Dec 2020 16:28:01 +0100
Subject: Configure the correct archiver to build runtime/libcompcert.a

- Use `${toolprefix}ar` instead of `ar` so as to match the choice
  of C compiler (as proposed by Michael Soegtrop in PR #380)

- Use the Diab archiver `dar` if configured for powerpc-eabi-diab

Closes: #380
---
 runtime/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime')

diff --git a/runtime/Makefile b/runtime/Makefile
index 6777995d..beb105a6 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -48,7 +48,7 @@ endif
 
 $(LIB): $(OBJS)
 	rm -f $(LIB)
-	ar rcs $(LIB) $(OBJS)
+	$(ARCHIVER) $(LIB) $(OBJS)
 
 %.o: %.s
 	$(CASMRUNTIME) -o $@ $^
-- 
cgit