diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-16 12:23:29 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-16 12:23:29 +0100 |
| commit | b3c67667b7121b7f2e50700ec6da4bd780dee426 (patch) | |
| tree | fbd6cfe3b6cfda555ca9389e58a2b226df480013 /configure | |
| parent | a84576b219c797467e480508fc99ba78260062df (diff) | |
| download | compcert-b3c67667b7121b7f2e50700ec6da4bd780dee426.tar.gz compcert-b3c67667b7121b7f2e50700ec6da4bd780dee426.zip | |
Started implementing the printing functions for the debug info. Added a global target dependend option to activate the printing only for targets wher it works.
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 @@ -104,7 +105,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 @@ -336,6 +338,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' |