optionally configure libgui (--enable-gdbgui)

1994-09-30 00:36:58 +00:00 · 1994-09-30 00:36:58 +00:00 · f4a7dca7e7
parent 1df6e2665e
commit f4a7dca7e7
1 changed files with 4 additions and 0 deletions
--- a/configure.in
+++ b/configure.in
@ -26,6 +26,10 @@
 #
 host_libs="mmalloc libiberty opcodes bfd readline glob gash tcl tk tclX"

+if [ "${enable_gdbgui}" = "yes" ] ; then
+	host_libs="${host_libs} libgui"
+fi
+
 # these tools are built for the host environment
 #
 host_tools="texinfo byacc flex bison binutils ld gas gcc gdb make patch