diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-05-19 08:09:53 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-05-19 08:09:53 +0000 |
commit | 60e1fd71c7e97b2214daf574e0f41b55a3e0bceb (patch) | |
tree | d04c655e1102125a0a2d1a5c261efd87e91354c4 /configure | |
parent | 0d27eae0b07c7c46cb7d4e6d7b0b1145dbdab0c3 (diff) | |
download | compcert-kvx-60e1fd71c7e97b2214daf574e0f41b55a3e0bceb.tar.gz compcert-kvx-60e1fd71c7e97b2214daf574e0f41b55a3e0bceb.zip |
Prettier output
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2258 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -156,7 +156,7 @@ if test -z "$casmruntime"; then casmruntime="$casm"; fi # Test assembler support for CFI directives if test "$target" != "manual" && test -z "$asm_supports_cfi"; then - echo "Testing assembler support for CFI directives..." + echo "Testing assembler support for CFI directives... " | tr -d '\n' f=/tmp/compcert-configure-$$.s rm -f $f cat >> $f <<EOF @@ -168,8 +168,8 @@ testfun: .cfi_endproc EOF if $casm -o /dev/null $f 2>/dev/null - then asm_supports_cfi=true - else asm_supports_cfi=false + then echo "yes"; asm_supports_cfi=true + else echo "no"; asm_supports_cfi=false fi rm -f $f fi @@ -177,9 +177,12 @@ fi # Additional packages needed for cchecklink if $cchecklink; then + echo "Testing availability of ocaml-bitstring... " | tr -d '\n' if ocamlfind query bitstring > /dev/null - then : + then + echo "yes" else + echo "no" echo "ocamlfind or ocaml-bitstring missing, cchecklink will not be built" cchecklink=false fi |