HomeSort by: relevance | last modified time | path
    Searched refs:enable_libada (Results 1 - 8 of 8) sorted by relevancy

  /src/external/gpl3/binutils.old/dist/
configure 819 enable_libada
3249 if test "${enable_libada+set}" = set; then :
3250 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3252 ENABLE_LIBADA=yes
3255 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/gcc/dist/
configure 817 enable_libada
3243 if test "${enable_libada+set}" = set; then :
3244 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3246 ENABLE_LIBADA=yes
3249 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/gcc.old/dist/
configure 805 enable_libada
3167 if test "${enable_libada+set}" = set; then :
3168 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3170 ENABLE_LIBADA=yes
3173 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/gdb/dist/
configure 819 enable_libada
3249 if test "${enable_libada+set}" = set; then :
3250 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3252 ENABLE_LIBADA=yes
3255 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/gdb.old/dist/
configure 816 enable_libada
3242 if test "${enable_libada+set}" = set; then :
3243 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3245 ENABLE_LIBADA=yes
3248 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/binutils/dist/
configure 830 enable_libada
3301 if test "${enable_libada+set}" = set; then :
3302 enableval=$enable_libada; ENABLE_LIBADA=$enableval
3304 ENABLE_LIBADA=yes
3307 if test "${ENABLE_LIBADA}" != "yes" ; then
  /src/external/gpl3/gcc.old/dist/gcc/
configure 8257 if test x"$enable_libada" = xno; then
  /src/external/gpl3/gcc/dist/gcc/
configure 8300 if test x"$enable_libada" = xno; then
    [all...]

Completed in 220 milliseconds