Commit a20677f0 authored by MARCHE Claude's avatar MARCHE Claude

fix issue #84

parent ea5c8ece
...@@ -354,6 +354,19 @@ if test "$enable_emacs_compilation" = yes ; then ...@@ -354,6 +354,19 @@ if test "$enable_emacs_compilation" = yes ; then
fi fi
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 # checking for Zarith
if test "$enable_zarith" = yes; then if test "$enable_zarith" = yes; then
if test "$USEOCAMLFIND" = 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