diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-04-15 12:15:12 +0200 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-04-15 12:15:12 +0200 |
commit | 1150b687acf225e0f6063de45379c3d5fbc54524 (patch) | |
tree | 0661131709c95dc77a5c0583f66caf219a84e8cf /configure | |
parent | 03ad26aa9d2762655b508f7142d0aed9916da83b (diff) | |
parent | e42febd5a88c2bf04227f1cd4ead947c51989ec1 (diff) | |
download | compcert-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-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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' |