Merge branch 'next' into new_ide

configure.in

@@ -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