Commit e895c104 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fixed install location.

parent 29e086f9
...@@ -21,7 +21,7 @@ AC_ARG_VAR(COQDEP, [Coq dependency analyzer command [coqdep]]) ...@@ -21,7 +21,7 @@ AC_ARG_VAR(COQDEP, [Coq dependency analyzer command [coqdep]])
AC_CHECK_TOOL(COQDEP, coqdep) AC_CHECK_TOOL(COQDEP, coqdep)
if test "$libdir" = '${exec_prefix}/lib'; then if test "$libdir" = '${exec_prefix}/lib'; then
libdir='`$(COQC) -where`/user-contrib/Gappa' libdir='`$(COQC) -where`/user-contrib/Flocq'
fi fi
AC_SUBST(COQRFLAG, ['-R . Flocq']) AC_SUBST(COQRFLAG, ['-R . Flocq'])
......
Markdown is supported
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