comparison: test/configure2
test/configure2
- changeset 122
- 5706694c17c4
- parent 116
- 41981a23aff8
- child 123
- d89b75fdf0aa
equal
deleted
inserted
replaced
| 121:155cd224b51d | 122:5706694c17c4 |
|---|---|
| 648 fi | 648 fi |
| 649 if [ -n "$DISABLE_FEATURE_DB" ]; then | 649 if [ -n "$DISABLE_FEATURE_DB" ]; then |
| 650 unset FEATURE_DB | 650 unset FEATURE_DB |
| 651 fi | 651 fi |
| 652 fi | 652 fi |
| 653 if [ -n "$FEATURE_DB" ]; then | |
| 654 : | |
| 655 TEMP_CFLAGS="$TEMP_CFLAGS -DDATABASE" | |
| 656 TEMP_CXXFLAGS="$TEMP_CXXFLAGS -DDATABASE" | |
| 657 fi | |
| 653 if [ -n "$FEATURE_GUI" ]; then | 658 if [ -n "$FEATURE_GUI" ]; then |
| 654 # check dependency | 659 # check dependency |
| 655 if dependency_error_gtk3 ; then | 660 if dependency_error_gtk3 ; then |
| 656 # "auto" features can fail and are just disabled in this case | 661 # "auto" features can fail and are just disabled in this case |
| 657 if [ "$FEATURE_GUI" = "auto" ]; then | 662 if [ "$FEATURE_GUI" = "auto" ]; then |
| 662 fi | 667 fi |
| 663 fi | 668 fi |
| 664 if [ -n "$DISABLE_FEATURE_GUI" ]; then | 669 if [ -n "$DISABLE_FEATURE_GUI" ]; then |
| 665 unset FEATURE_GUI | 670 unset FEATURE_GUI |
| 666 fi | 671 fi |
| 672 fi | |
| 673 if [ -n "$FEATURE_GUI" ]; then | |
| 674 : | |
| 675 TEMP_CFLAGS="$TEMP_CFLAGS -DUI=GTK3" | |
| 676 TEMP_CXXFLAGS="$TEMP_CXXFLAGS -DUI=GTK3" | |
| 667 fi | 677 fi |
| 668 | 678 |
| 669 # Option: --toolkit | 679 # Option: --toolkit |
| 670 if [ -z "$OPT_TOOLKIT" ]; then | 680 if [ -z "$OPT_TOOLKIT" ]; then |
| 671 echo "auto-detecting option 'toolkit'" | 681 echo "auto-detecting option 'toolkit'" |
