diff options
author | David Terei <davidterei@gmail.com> | 2013-02-06 13:47:51 -0800 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2013-02-06 13:51:13 -0800 |
commit | e705fb083cc00d9330bc13a6f011c80c6fc40c8f (patch) | |
tree | 825394bba9cfafd99ff77b5a0c83bc05a5c0f9e5 /aclocal.m4 | |
parent | ec9377b1e51fd59e1837b096677bbaabfaa05171 (diff) | |
download | haskell-e705fb083cc00d9330bc13a6f011c80c6fc40c8f.tar.gz |
Unify interfae of both variants FP_ARG_WITH_PATH... in aclocal.m4 and
document them.
Diffstat (limited to 'aclocal.m4')
-rw-r--r-- | aclocal.m4 | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/aclocal.m4 b/aclocal.m4 index 0fe79cfd34..837eea05a2 100644 --- a/aclocal.m4 +++ b/aclocal.m4 @@ -602,7 +602,11 @@ AC_DEFUN([FPTOOLS_FLOAT_WORD_ORDER_BIGENDIAN], # FP_ARG_WITH_PATH_GNU_PROG # -------------------- -# XXX +# Find the specified command on the path or allow a user to set it manually +# with a --with-<command> option. An error will be thrown if the command isn't +# found. +# +# This is ignored on the mingw32 platform. # # $1 = the variable to set # $2 = the with option name @@ -641,10 +645,14 @@ AC_ARG_WITH($2, # FP_ARG_WITH_PATH_GNU_PROG_OPTIONAL # -------------------- -# XXX +# Same as FP_ARG_WITH_PATH_GNU_PROG but no error will be thrown if the command +# isn't found. +# +# This is ignored on the mingw32 platform. # # $1 = the variable to set -# $2 = the command to look for +# $2 = the with option name +# $3 = the command to look for # AC_DEFUN([FP_ARG_WITH_PATH_GNU_PROG_OPTIONAL], [ @@ -662,7 +670,7 @@ AC_ARG_WITH($2, [ if test "$HostOS" != "mingw32" then - AC_PATH_PROG([$1], [$2]) + AC_PATH_PROG([$1], [$3]) fi ] ) |