comparison: src/test/resources/golden-sample/configure2
src/test/resources/golden-sample/configure2
- changeset 47
- 78ee95836412
- parent 46
- 096f3105b3b1
- child 51
- 5c12e9e29733
equal
deleted
inserted
replaced
| 46:096f3105b3b1 | 47:78ee95836412 |
|---|---|
| 27 fi | 27 fi |
| 28 touch "$TEMP_DIR/options" | 28 touch "$TEMP_DIR/options" |
| 29 touch "$TEMP_DIR/features" | 29 touch "$TEMP_DIR/features" |
| 30 | 30 |
| 31 # features | 31 # features |
| 32 FEATURE_DB=on | 32 FEATURE_DB=auto |
| 33 | 33 |
| 34 # help text | 34 # help text |
| 35 printhelp() | 35 printhelp() |
| 36 { | 36 { |
| 37 echo "Usage: $0 [OPTIONS]..." | 37 echo "Usage: $0 [OPTIONS]..." |
| 578 if [ $? -ne 0 ]; then | 578 if [ $? -ne 0 ]; then |
| 579 # "auto" features can fail and are just disabled in this case | 579 # "auto" features can fail and are just disabled in this case |
| 580 if [ "$FEATURE_DB" != "auto" ]; then | 580 if [ "$FEATURE_DB" != "auto" ]; then |
| 581 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED sqlite " | 581 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED sqlite " |
| 582 ERROR=1 | 582 ERROR=1 |
| 583 else | |
| 584 unset FEATURE_DB | |
| 583 fi | 585 fi |
| 584 fi | 586 fi |
| 585 fi | 587 fi |
| 586 if [ -n "$FEATURE_GUI" ]; then | 588 if [ -n "$FEATURE_GUI" ]; then |
| 587 # check dependency | 589 # check dependency |
| 589 if [ $? -ne 0 ]; then | 591 if [ $? -ne 0 ]; then |
| 590 # "auto" features can fail and are just disabled in this case | 592 # "auto" features can fail and are just disabled in this case |
| 591 if [ "$FEATURE_GUI" != "auto" ]; then | 593 if [ "$FEATURE_GUI" != "auto" ]; then |
| 592 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED gtk3 " | 594 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED gtk3 " |
| 593 ERROR=1 | 595 ERROR=1 |
| 596 else | |
| 597 unset FEATURE_GUI | |
| 594 fi | 598 fi |
| 595 fi | 599 fi |
| 596 fi | 600 fi |
| 597 | 601 |
| 598 # Option: --toolkit | 602 # Option: --toolkit |
| 708 echo "Build Config:" | 712 echo "Build Config:" |
| 709 echo " PREFIX: $PREFIX" | 713 echo " PREFIX: $PREFIX" |
| 710 echo " TOOLCHAIN: $TOOLCHAIN_NAME" | 714 echo " TOOLCHAIN: $TOOLCHAIN_NAME" |
| 711 echo "Options:" | 715 echo "Options:" |
| 712 cat "$TEMP_DIR/options" | 716 cat "$TEMP_DIR/options" |
| 717 echo "Features:" | |
| 718 if [ -n "$FEATURE_DB" ]; then | |
| 719 echo " db: on" | |
| 720 else | |
| 721 echo " db: off" | |
| 722 fi | |
| 723 if [ -n "$FEATURE_GUI" ]; then | |
| 724 echo " gui: on" | |
| 725 else | |
| 726 echo " gui: off" | |
| 727 fi | |
| 713 echo | 728 echo |
| 714 cat "$TEMP_DIR/config.mk" "$TEMP_DIR/make.mk" > config.mk | 729 cat "$TEMP_DIR/config.mk" "$TEMP_DIR/make.mk" > config.mk |
| 715 rm -Rf "$TEMP_DIR" | 730 rm -Rf "$TEMP_DIR" |
| 716 | 731 |
| 717 | 732 |
