comparison: configure
configure
- changeset 990
- f708863e7ec6
- parent 988
- 15b3ca7ee33f
- child 1017
- b0098854071f
equal
deleted
inserted
replaced
| 989:8aa57a7fecc4 | 990:f708863e7ec6 |
|---|---|
| 476 | 476 |
| 477 print_check_msg "$dep_checked_doxygen" "no\n" | 477 print_check_msg "$dep_checked_doxygen" "no\n" |
| 478 dep_checked_doxygen=1 | 478 dep_checked_doxygen=1 |
| 479 return 0 | 479 return 0 |
| 480 } | 480 } |
| 481 dependency_error_no_coverage() | |
| 482 { | |
| 483 print_check_msg "$dep_checked_no_coverage" "checking for no_coverage... " | |
| 484 # dependency no_coverage | |
| 485 while true | |
| 486 do | |
| 487 if test -z "$FEATURE_COVERAGE" > /dev/null ; then | |
| 488 : | |
| 489 else | |
| 490 break | |
| 491 fi | |
| 492 print_check_msg "$dep_checked_no_coverage" "yes\n" | |
| 493 dep_checked_no_coverage=1 | |
| 494 return 1 | |
| 495 done | |
| 496 | |
| 497 print_check_msg "$dep_checked_no_coverage" "no\n" | |
| 498 dep_checked_no_coverage=1 | |
| 499 return 0 | |
| 500 } | |
| 481 | 501 |
| 482 # start collecting dependency information | 502 # start collecting dependency information |
| 483 echo > "$TEMP_DIR/flags.mk" | 503 echo > "$TEMP_DIR/flags.mk" |
| 484 | 504 |
| 485 DEPENDENCIES_FAILED= | 505 DEPENDENCIES_FAILED= |
| 660 __EOF__ | 680 __EOF__ |
| 661 else | 681 else |
| 662 : | 682 : |
| 663 fi | 683 fi |
| 664 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then | 684 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
| 685 # check dependency | |
| 686 if dependency_error_no_coverage ; then | |
| 687 # "auto" features can fail and are just disabled in this case | |
| 688 if [ "$FEATURE_SZMUL_BUILTIN" = "auto" ]; then | |
| 689 DISABLE_FEATURE_SZMUL_BUILTIN=1 | |
| 690 else | |
| 691 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED no_coverage " | |
| 692 ERROR=1 | |
| 693 fi | |
| 694 fi | |
| 665 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then | 695 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then |
| 666 unset FEATURE_SZMUL_BUILTIN | 696 unset FEATURE_SZMUL_BUILTIN |
| 667 fi | 697 fi |
| 668 fi | 698 fi |
| 669 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then | 699 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then |
