aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bschommer@users.noreply.github.com>2015-04-15 12:15:12 +0200
committerBernhard Schommer <bschommer@users.noreply.github.com>2015-04-15 12:15:12 +0200
commit1150b687acf225e0f6063de45379c3d5fbc54524 (patch)
tree0661131709c95dc77a5c0583f66caf219a84e8cf /configure
parent03ad26aa9d2762655b508f7142d0aed9916da83b (diff)
parente42febd5a88c2bf04227f1cd4ead947c51989ec1 (diff)
downloadcompcert-kvx-1150b687acf225e0f6063de45379c3d5fbc54524.tar.gz
compcert-kvx-1150b687acf225e0f6063de45379c3d5fbc54524.zip
Merge pull request #37 from AbsInt/dwarf
Added the Dwarf v2 debugging information for global variables and functions for the Diab Backend.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index 46dc98da..ffc1d0d3 100755
--- a/configure
+++ b/configure
@@ -19,6 +19,7 @@ toolprefix=''
target=''
has_runtime_lib=true
build_checklink=true
+advanced_debug=false
usage='Usage: ./configure [options] target
@@ -113,7 +114,8 @@ case "$target" in
asm_supports_cfi=false
clinker="${toolprefix}dcc"
libmath="-lm"
- cchecklink=${build_checklink};;
+ cchecklink=${build_checklink}
+ advanced_debug=true;;
arm*-*)
arch="arm"
case "$target" in
@@ -357,6 +359,7 @@ LIBMATH=$libmath
HAS_RUNTIME_LIB=$has_runtime_lib
CCHECKLINK=$cchecklink
ASM_SUPPORTS_CFI=$asm_supports_cfi
+ADVANCED_DEBUG=$advanced_debug
EOF
else
cat >> Makefile.config <<'EOF'