diff --git a/cmake/config-ix.cmake b/cmake/config-ix.cmake index abee8b6ee39..f806d9c54ed 100755 --- a/cmake/config-ix.cmake +++ b/cmake/config-ix.cmake @@ -529,10 +529,14 @@ else() if( OCAML_VERSION VERSION_LESS "4.00.0" ) message(STATUS "OCaml bindings disabled, need OCaml >=4.00.0.") else() - message(STATUS "OCaml bindings enabled.") - find_ocamlfind_package(ctypes VERSION 0.3) - find_ocamlfind_package(oUnit VERSION 2 OPTIONAL) - set(LLVM_BINDINGS "${LLVM_BINDINGS} ocaml") + find_ocamlfind_package(ctypes VERSION 0.3 OPTIONAL) + if( HAVE_OCAML_CTYPES ) + message(STATUS "OCaml bindings enabled.") + find_ocamlfind_package(oUnit VERSION 2 OPTIONAL) + set(LLVM_BINDINGS "${LLVM_BINDINGS} ocaml") + else() + message(STATUS "OCaml bindings disabled, need ctypes >=0.3.") + endif() endif() endif() endif()