resync configure
This commit is contained in:
parent
08e0483f75
commit
2fb0826f23
12
configure
vendored
12
configure
vendored
@ -1548,8 +1548,8 @@ echo "${ECHO_T}no" >&6
|
||||
fi
|
||||
|
||||
if test -z "$TEX" ; then
|
||||
{ echo "$as_me:$LINENO: WARNING: You'll need tex if you wish to build the documentation" >&5
|
||||
echo "$as_me: WARNING: You'll need tex if you wish to build the documentation" >&2;}
|
||||
{ echo "$as_me:$LINENO: WARNING: tex is needed to build some of the documentation" >&5
|
||||
echo "$as_me: WARNING: tex is needed to build some of the documentation" >&2;}
|
||||
fi
|
||||
# Extract the first word of "tex2page", so it can be a program name with args.
|
||||
set dummy tex2page; ac_word=$2
|
||||
@ -1587,10 +1587,10 @@ echo "${ECHO_T}no" >&6
|
||||
fi
|
||||
|
||||
if test -z "$TEX2PAGE" ; then
|
||||
{ echo "$as_me:$LINENO: WARNING: You'll need tex2page if you wish to build the
|
||||
documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&5
|
||||
echo "$as_me: WARNING: You'll need tex2page if you wish to build the
|
||||
documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&2;}
|
||||
{ echo "$as_me:$LINENO: WARNING: tex2page is needed to build some of the documentation
|
||||
http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&5
|
||||
echo "$as_me: WARNING: tex2page is needed to build some of the documentation
|
||||
http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&2;}
|
||||
fi
|
||||
|
||||
ac_ext=c
|
||||
|
@ -124,12 +124,12 @@ AC_SUBST(HASKELL_SRC)
|
||||
|
||||
AC_CHECK_PROG(TEX,tex,tex)
|
||||
if test -z "$TEX" ; then
|
||||
AC_MSG_WARN(You'll need tex if you wish to build the documentation)
|
||||
AC_MSG_WARN(tex is needed to build some of the documentation)
|
||||
fi
|
||||
AC_CHECK_PROG(TEX2PAGE,tex2page,tex2page)
|
||||
if test -z "$TEX2PAGE" ; then
|
||||
AC_MSG_WARN(You'll need tex2page if you wish to build the
|
||||
documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html)
|
||||
AC_MSG_WARN(tex2page is needed to build some of the documentation
|
||||
http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html)
|
||||
fi
|
||||
|
||||
AC_CHECK_FUNCS(arc4random)
|
||||
|
Loading…
x
Reference in New Issue
Block a user