diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:30:07 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:30:07 +0100 |
| commit | 1396a4051caef0957ede026f3b8fab5a9b10b6bc (patch) | |
| tree | 3de88af4e2c6dc9e58e43e10f05e1634742b1d6f /configure | |
| parent | 4b0f05cf84ac5d38f8e31aa7b8f7c9e1b0617ea0 (diff) | |
| download | compcert-1396a4051caef0957ede026f3b8fab5a9b10b6bc.tar.gz compcert-1396a4051caef0957ede026f3b8fab5a9b10b6bc.zip | |
Add -Xalign-value to enforce correct alignment.
The diab compiler seems to interpret the alignment as power of two
instead of the value.
Bug 18490
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -115,6 +115,7 @@ case "$target" in cprepro="${toolprefix}dcc" cprepro_options="-E -D__GNUC__" casm="${toolprefix}das" + casm_options="-Xalign-value" asm_supports_cfi=false clinker="${toolprefix}dcc" libmath="-lm" @@ -334,7 +335,7 @@ for mk in make gmake gnumake; do break;; esac done -if test -z "$make"; then +if test -z "$make"; then echo "NOT FOUND" echo "Error: make sure GNU Make version 3.80 or later is installed." missingtools=true @@ -391,7 +392,7 @@ cat >> Makefile.config <<'EOF' ARCH= # Hardware variant -# MODEL=ppc32 # for plain PowerPC +# MODEL=ppc32 # for plain PowerPC # MODEL=ppc64 # for PowerPC with 64-bit instructions # MODEL=e5500 # for Freescale e5500 PowerPC variant # MODEL=armv6 # for ARM |