diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:28:01 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:42:46 +0100 |
commit | ca2ebae012d6cdcc19d0a01f54f3dad614de8e68 (patch) | |
tree | d98e73609986f0a021deb28b4353bfb6be57a0c2 /runtime | |
parent | e76c156250cabb9da97e105098208478eb9bdd2d (diff) | |
download | compcert-kvx-ca2ebae012d6cdcc19d0a01f54f3dad614de8e68.tar.gz compcert-kvx-ca2ebae012d6cdcc19d0a01f54f3dad614de8e68.zip |
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
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 $@ $^ |