Commit 925ebd38 authored by MARCHE Claude's avatar MARCHE Claude

enabling zarith by default is really harmless now

parent 804d2e4d
......@@ -349,11 +349,12 @@ if test "$enable_zarith" = yes; then
echo "ocamlfind found zarith in $BIGINTINCLUDE"
BIGINTINCLUDE="-I $BIGINTINCLUDE"
else
BIGINTINCLUDE="+zarith"
AC_CHECK_FILE($OCAMLLIB/zarith/zarith.cma,,enable_zarith=no)
if test "$enable_zarith" = no; then
AC_MSG_WARN([Lib Zarith not found, using Nums instead.])
reason_zarith=" (zarith not found)"
else
BIGINTINCLUDE="+zarith"
fi
fi
fi
......
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