diff options
Diffstat (limited to 'gcc/configure.ac')
| -rw-r--r-- | gcc/configure.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index dc14b45..ecb75be 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -971,6 +971,10 @@ else AC_CHECK_PROG(AR, ar, ar, ${CONFIG_SHELL-/bin/sh} ${srcdir}/../missing ar) fi +# The jit documentation looks better if built with sphinx, but can be +# built with texinfo if sphinx is not available. +# Set "doc_build_sys" to "sphinx" or "texinfo" accordingly. +AC_CHECK_PROG(doc_build_sys, sphinx-build, sphinx, texinfo) # -------------------- # Checks for C headers @@ -5604,6 +5608,12 @@ if test x"${LINKER_HASH_STYLE}" != x; then [The linker hash style]) fi +# Generate gcc-driver-name.h containing GCC_DRIVER_NAME for the benefit +# of jit/jit-playback.c. +cat > gcc-driver-name.h <<EOF +#define GCC_DRIVER_NAME "${target_noncanonical}-gcc-${gcc_BASEVER}${exeext}" +EOF + # Configure the subdirectories # AC_CONFIG_SUBDIRS($subdirs) |