Kalzim: Add CMake detection and link for nums and zarith libraries.

This resolves issue #63.

Signed-off-by: Slávek Banko <slavek.banko@axis.cz>

kalzium/ConfigureChecks.cmake

@@ -72,4 +72,70 @@ if( WITH_OCAML_SOLVER )
     message( STATUS "Search for facile - found" )
   endif( )
 
+
+  if( NOT DEFINED HAVE_NUMS )
+    message( STATUS "Search for nums" )
+
+    if( NOT DEFINED NUMS_LIBRARIES )
+      find_library( NUMS_LIBRARY
+        NAMES nums.a
+        HINTS ${OCAML_BASEDIR}
+        PATH_SUFFIXES num ocaml/num
+      )
+      if( NUMS_LIBRARY )
+        set( NUMS_LIBRARIES ${NUMS_LIBRARY} )
+      endif()
+    endif( )
+
+    if( NOT DEFINED NUMS_INCLUDE_DIR )
+      find_path( NUMS_INCLUDE_DIR
+          NAMES num.cmi
+          HINTS ${OCAML_BASEDIR}
+          PATH_SUFFIXES nums lib/ocaml/nums
+      )
+    endif( )
+
+    if( NUMS_LIBRARIES AND NUMS_INCLUDE_DIR )
+      set( HAVE_NUMS 1 CACHE INTERNAL "Enable build with ocaml/nums" )
+      message( STATUS "Search for nums - found" )
+    else()
+      message( STATUS "Search for nums - not found" )
+    endif()
+  endif( )
+
+
+  if( NOT DEFINED HAVE_ZARITH )
+    message( STATUS "Search for zarith" )
+
+    if( NOT DEFINED ZARITH_LIBRARIES )
+      find_library( ZARITH_LIBRARY
+        NAMES zarith.a
+        HINTS ${OCAML_BASEDIR}
+        PATH_SUFFIXES zarith ocaml/zarith
+      )
+      if( ZARITH_LIBRARY )
+        set( ZARITH_LIBRARIES ${ZARITH_LIBRARY} )
+      endif()
+    endif( )
+
+    if( NOT DEFINED ZARITH_INCLUDE_DIR )
+      find_path( ZARITH_INCLUDE_DIR
+          NAMES z.cmi
+          HINTS ${OCAML_BASEDIR}
+          PATH_SUFFIXES zarith lib/ocaml/zarith
+      )
+    endif( )
+
+    if( ZARITH_LIBRARIES AND ZARITH_INCLUDE_DIR )
+      set( HAVE_ZARITH 1 CACHE INTERNAL "Enable build with ocaml/zarith" )
+      message( STATUS "Search for zarith - found" )
+    else()
+      message( STATUS "Search for zarith - not found" )
+    endif()
+  endif( )
+
+  if( (NOT HAVE_NUMS) AND (NOT HAVE_ZARITH) )
+    tde_message_fatal( "Facile requires nums or zarith, but neither is found on your system" )
+  endif()
+
 endif( WITH_OCAML_SOLVER )

kalzium/src/CMakeLists.txt

@@ -20,7 +20,7 @@ link_directories(
 )
 
 if( WITH_OCAML_SOLVER )
-  set( OCAML_LIBRARIES asmrun nums m ${CMAKE_DL_LIBS} )
+  set( OCAML_LIBRARIES asmrun m ${NUMS_LIBRARIES} ${ZARITH_LIBRARIES} ${CMAKE_DL_LIBS} )
   set( OCAML_SOLVER
     ${CMAKE_CURRENT_BINARY_DIR}/solver/modwrap.o
     ${CMAKE_CURRENT_BINARY_DIR}/solver/solver.o