Commit 60165b74 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

...

parent c783206e
......@@ -17,7 +17,7 @@ m4_divert_pop([HELP_ENABLE])
AC_ARG_VAR(COQC, [Coq compiler command [coqc]])
AC_CHECK_TOOL(COQC, coqc)
AC_ARG_VAR(COQDEP, [Coq compiler command [coqdep]])
AC_ARG_VAR(COQDEP, [Coq dependency analyzer command [coqdep]])
AC_CHECK_TOOL(COQDEP, coqdep)
if test "$libdir" = '${exec_prefix}/lib'; then
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment