aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-03-18 13:27:33 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2016-03-18 13:27:33 +0100
commit771d8576fbae8bd48f6bc80c74722ce1c7cc5259 (patch)
tree88af0ca466b8923af666500927945aa8764988fb /configure
parentd9c0c49cf32be6aa17918654c05bee45f29fb737 (diff)
downloadcompcert-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.tar.gz
compcert-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.zip
Add the -Xalign-value options for diab.
The default of the diab compiler is to interpret the alignment as power of two. Bug 18490.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index d03fd15e..9e315065 100755
--- a/configure
+++ b/configure
@@ -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"