comparison: configure
configure
- changeset 1064
- f3b04cd60776
- parent 1017
- b0098854071f
equal
deleted
inserted
replaced
| 1063:e453e717876e | 1064:f3b04cd60776 |
|---|---|
| 154 mandir= | 154 mandir= |
| 155 | 155 |
| 156 # custom variables | 156 # custom variables |
| 157 if true \ | 157 if true \ |
| 158 ; then | 158 ; then |
| 159 src_dir=`pwd` | 159 root_dir=`pwd` |
| 160 DOXYGEN=`command -v doxygen` | 160 DOXYGEN=`command -v doxygen` |
| 161 PANDOC=`command -v pandoc` | 161 PANDOC=`command -v pandoc` |
| 162 fi | 162 fi |
| 163 | 163 |
| 164 # features | 164 # features |
| 308 while true | 308 while true |
| 309 do | 309 do |
| 310 if notistoolchain "gcc"; then | 310 if notistoolchain "gcc"; then |
| 311 break | 311 break |
| 312 fi | 312 fi |
| 313 if command -v gcovr > /dev/null ; then | |
| 314 : | |
| 315 else | |
| 316 break | |
| 317 fi | |
| 313 TEMP_CFLAGS="$TEMP_CFLAGS \${COVERAGE_CFLAGS}" | 318 TEMP_CFLAGS="$TEMP_CFLAGS \${COVERAGE_CFLAGS}" |
| 314 TEMP_LDFLAGS="$TEMP_LDFLAGS \${COVERAGE_LDFLAGS}" | 319 TEMP_LDFLAGS="$TEMP_LDFLAGS \${COVERAGE_LDFLAGS}" |
| 315 print_check_msg "$dep_checked_coverage" "yes\n" | 320 print_check_msg "$dep_checked_coverage" "yes\n" |
| 316 dep_checked_coverage=1 | 321 dep_checked_coverage=1 |
| 317 return 1 | 322 return 1 |
| 521 VERSION=3.1.0 | 526 VERSION=3.1.0 |
| 522 LIBVERSION=5.0.0 | 527 LIBVERSION=5.0.0 |
| 523 LIBVERSION_MAJOR=5 | 528 LIBVERSION_MAJOR=5 |
| 524 | 529 |
| 525 # build directory structure !! do not change or override !! | 530 # build directory structure !! do not change or override !! |
| 526 src_dir=${src_dir} | 531 root_dir=${root_dir} |
| 527 build_dir=${src_dir}/build | 532 build_dir=${root_dir}/build |
| 528 docs_dir=${src_dir}/build/docs | 533 docs_dir=${root_dir}/build/docs |
| 529 dist_dir=${src_dir}/dist | 534 dist_dir=${root_dir}/dist |
| 530 __EOF__ | 535 __EOF__ |
| 531 break | 536 break |
| 532 done | 537 done |
| 533 break | 538 break |
| 534 done | 539 done |
