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 /configure | |
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 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -211,7 +211,7 @@ casmruntime="" clinker_needs_no_pie=true clinker_options="" cprepro_options="" - +archiver="${toolprefix}ar rcs" # # ARM Target Configuration @@ -275,6 +275,7 @@ if test "$arch" = "powerpc"; then clinker="${toolprefix}dcc" cprepro="${toolprefix}dcc" cprepro_options="-E -D__GNUC__" + archiver="${toolprefix}dar -q" libmath="-lm" system="diab" responsefile="diab" @@ -666,6 +667,7 @@ CLINKER=$clinker CLINKER_OPTIONS=$clinker_options CPREPRO=$cprepro CPREPRO_OPTIONS=$cprepro_options +ARCHIVER=$archiver ENDIANNESS=$endianness HAS_RUNTIME_LIB=$has_runtime_lib HAS_STANDARD_HEADERS=$has_standard_headers @@ -750,6 +752,9 @@ CASMRUNTIME=gcc -c # Linker CLINKER=gcc +# Archiver to build .a libraries +ARCHIVER=ar rcs + # Math library. Set to empty under MacOS X LIBMATH=-lm @@ -839,6 +844,7 @@ CompCert configuration: Assembler for runtime lib..... $casmruntime Linker........................ $clinker Linker needs '-no-pie'........ $clinker_needs_no_pie + Archiver...................... $archiver Math library.................. $libmath Build command to use.......... $make Menhir API library............ $menhir_dir |