gnu/gcc/CONFIGURE


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

. $SECTION_DIRECTORY/FUNCTIONS &&
default_configure_gcc &&

config_query_list GCC_TARGET "Select what build to use" \
                              all \
                              bootstrap \
                              bootstrap-lean \
                              profiledbootstrap \
                              profiledbootstrap-lean    &&

if list_find "$GCC_COMPILER" "java" ; then
  config_query GCJ_AWT "Do you want support for AWT (requires gtk+2 and libart_lgpl)?" n &&
  config_query_option GCJ_HOME "Add JDK Tree emulation?" n "--enable-java-home" ""
fi

#if list_find "$GCC_COMPILER" "ada"; then
#  config_query GCC_ADA_BINDING_GENERATOR "Do you want to patch gcc so -fdump-ada-spec is available?" n &&
#  config_query GCC_ADA_LIBADDRLINE "Do you want to patch gcc so libaddr2line is available?" n
#fi