Commit 36493e54 authored by MARCHE Claude's avatar MARCHE Claude

fix issue #84

parent 0c3c4e50
......@@ -354,6 +354,19 @@ if test "$enable_emacs_compilation" = yes ; then
fi
fi
# checking for Num
if test "$USEOCAMLFIND" = yes; then
NUMINCLUDE=$(ocamlfind query num)
fi
if test -n "$NUMINCLUDE"; then
echo "ocamlfind found num in $NUMINCLUDE"
else
AC_CHECK_FILE($OCAMLLIB/nums.cma,,found_num=no)
if test "$found_num" = no; then
AC_MSG_ERROR([Library Num not found.])
fi
fi
# checking for Zarith
if test "$enable_zarith" = yes; then
if test "$USEOCAMLFIND" = yes; then
......
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