From 33189c6969f4838dab3558497dd66f7400ee77d0 Mon Sep 17 00:00:00 2001 From: Judah Jacobson Date: Fri, 14 Nov 2008 18:33:34 +0000 Subject: [PATCH] Add help messages about --with-editline-(includes,libraries) to the ghc configure script. --- configure.ac | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/configure.ac b/configure.ac index fa33982..38ba4b7 100644 --- a/configure.ac +++ b/configure.ac @@ -680,6 +680,22 @@ fi # Check whether this GHC has editline installed FP_GHC_HAS_EDITLINE +# Dummy arguments to print help for --with-editline-* arguments. +# Those are actually passed to the editline package's configure script +# via the CONFIGURE_ARGS variable in mk/config.mk +AC_ARG_WITH(dummy-editline-includes, + [AC_HELP_STRING([--with-editline-includes], + [directory containing editline/editline.h or editline/readline.h])], + [], + []) + +AC_ARG_WITH(dummy-editline-libraries, + [AC_HELP_STRING([--with-editline-libraries], + [directory containing the editline library])], + [], + []) + + AC_PATH_PROGS(NHC,nhc nhc98) AC_PATH_PROG(HBC,hbc) -- 1.7.10.4