1# CMake build rules for the OCaml language. 2# Assumes FindOCaml is used. 3# http://ocaml.org/ 4# 5# Example usage: 6# 7# add_ocaml_library(pkg_a OCAML mod_a OCAMLDEP pkg_b C mod_a_stubs PKG ctypes LLVM core) 8# 9# Unnamed parameters: 10# 11# * Library name. 12# 13# Named parameters: 14# 15# OCAML OCaml module names. Imply presence of a corresponding .ml and .mli files. 16# OCAMLDEP Names of libraries this library depends on. 17# C C stub sources. Imply presence of a corresponding .c file. 18# CFLAGS Additional arguments passed when compiling C stubs. 19# PKG Names of ocamlfind packages this library depends on. 20# LLVM Names of LLVM libraries this library depends on. 21# NOCOPY Do not automatically copy sources (.c, .ml, .mli) from the source directory, 22# e.g. if they are generated. 23# 24 25function(add_ocaml_library name) 26 CMAKE_PARSE_ARGUMENTS(ARG "NOCOPY" "" "OCAML;OCAMLDEP;C;CFLAGS;PKG;LLVM" ${ARGN}) 27 28 set(src ${CMAKE_CURRENT_SOURCE_DIR}) 29 set(bin ${CMAKE_CURRENT_BINARY_DIR}) 30 31 set(ocaml_pkgs) 32 foreach( ocaml_pkg ${ARG_PKG} ) 33 list(APPEND ocaml_pkgs "-package" "${ocaml_pkg}") 34 endforeach() 35 36 set(sources) 37 38 set(ocaml_inputs) 39 40 set(ocaml_outputs "${bin}/${name}.cma") 41 if( ARG_C ) 42 list(APPEND ocaml_outputs 43 "${bin}/lib${name}${CMAKE_STATIC_LIBRARY_SUFFIX}") 44 if ( BUILD_SHARED_LIBS ) 45 list(APPEND ocaml_outputs 46 "${bin}/dll${name}${CMAKE_SHARED_LIBRARY_SUFFIX}") 47 endif() 48 endif() 49 if( HAVE_OCAMLOPT ) 50 list(APPEND ocaml_outputs 51 "${bin}/${name}.cmxa" 52 "${bin}/${name}${CMAKE_STATIC_LIBRARY_SUFFIX}") 53 endif() 54 55 set(ocaml_flags "-lstdc++" "-ldopt" "-L${LLVM_LIBRARY_DIR}" 56 "-ccopt" "-L\\$CAMLORIGIN/../.." 57 "-ccopt" "-Wl,-rpath,\\$CAMLORIGIN/../.." 58 ${ocaml_pkgs}) 59 60 foreach( ocaml_dep ${ARG_OCAMLDEP} ) 61 get_target_property(dep_ocaml_flags "ocaml_${ocaml_dep}" OCAML_FLAGS) 62 list(APPEND ocaml_flags ${dep_ocaml_flags}) 63 endforeach() 64 65 if( NOT BUILD_SHARED_LIBS ) 66 list(APPEND ocaml_flags "-custom") 67 endif() 68 69 if(LLVM_LINK_LLVM_DYLIB) 70 list(APPEND ocaml_flags "-lLLVM") 71 else() 72 explicit_map_components_to_libraries(llvm_libs ${ARG_LLVM}) 73 foreach( llvm_lib ${llvm_libs} ) 74 list(APPEND ocaml_flags "-l${llvm_lib}" ) 75 endforeach() 76 77 get_property(system_libs TARGET LLVMSupport PROPERTY LLVM_SYSTEM_LIBS) 78 foreach(system_lib ${system_libs}) 79 if (system_lib MATCHES "^-") 80 # If it's an option, pass it without changes. 81 list(APPEND ocaml_flags "${system_lib}" ) 82 else() 83 # Otherwise assume it's a library name we need to link with. 84 list(APPEND ocaml_flags "-l${system_lib}" ) 85 endif() 86 endforeach() 87 endif() 88 89 string(REPLACE ";" " " ARG_CFLAGS "${ARG_CFLAGS}") 90 set(c_flags "${ARG_CFLAGS} ${LLVM_DEFINITIONS}") 91 foreach( include_dir ${LLVM_INCLUDE_DIR} ${LLVM_MAIN_INCLUDE_DIR} ) 92 set(c_flags "${c_flags} -I${include_dir}") 93 endforeach() 94 # include -D/-UNDEBUG to match dump function visibility 95 # regex from HandleLLVMOptions.cmake 96 string(REGEX MATCH "(^| )[/-][UD] *NDEBUG($| )" flag_matches 97 "${CMAKE_C_FLAGS_${uppercase_CMAKE_BUILD_TYPE}} ${CMAKE_C_FLAGS}") 98 set(c_flags "${c_flags} ${flag_matches}") 99 100 foreach( ocaml_file ${ARG_OCAML} ) 101 list(APPEND sources "${ocaml_file}.mli" "${ocaml_file}.ml") 102 103 list(APPEND ocaml_inputs "${bin}/${ocaml_file}.mli" "${bin}/${ocaml_file}.ml") 104 105 list(APPEND ocaml_outputs "${bin}/${ocaml_file}.cmi" "${bin}/${ocaml_file}.cmo") 106 107 list(APPEND ocaml_outputs "${bin}/${ocaml_file}.cmti" "${bin}/${ocaml_file}.cmt") 108 109 if( HAVE_OCAMLOPT ) 110 list(APPEND ocaml_outputs 111 "${bin}/${ocaml_file}.cmx" 112 "${bin}/${ocaml_file}${CMAKE_C_OUTPUT_EXTENSION}") 113 endif() 114 endforeach() 115 116 foreach( c_file ${ARG_C} ) 117 list(APPEND sources "${c_file}.c") 118 119 list(APPEND c_inputs "${bin}/${c_file}.c") 120 list(APPEND c_outputs "${bin}/${c_file}${CMAKE_C_OUTPUT_EXTENSION}") 121 endforeach() 122 123 if( NOT ARG_NOCOPY ) 124 foreach( source ${sources} ) 125 add_custom_command( 126 OUTPUT "${bin}/${source}" 127 COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${src}/${source}" "${bin}" 128 DEPENDS "${src}/${source}" 129 COMMENT "Copying ${source} to build area") 130 endforeach() 131 endif() 132 133 foreach( c_input ${c_inputs} ) 134 get_filename_component(basename "${c_input}" NAME_WE) 135 add_custom_command( 136 OUTPUT "${basename}${CMAKE_C_OUTPUT_EXTENSION}" 137 COMMAND "${OCAMLFIND}" "ocamlc" "-c" "${c_input}" -ccopt ${c_flags} 138 DEPENDS "${c_input}" 139 COMMENT "Building OCaml stub object file ${basename}${CMAKE_C_OUTPUT_EXTENSION}" 140 VERBATIM) 141 endforeach() 142 143 set(ocaml_params) 144 foreach( ocaml_input ${ocaml_inputs} ${c_outputs}) 145 get_filename_component(filename "${ocaml_input}" NAME) 146 list(APPEND ocaml_params "${filename}") 147 endforeach() 148 149 if( APPLE ) 150 set(ocaml_rpath "@executable_path/../../../lib${LLVM_LIBDIR_SUFFIX}") 151 elseif( UNIX ) 152 set(ocaml_rpath "\\$ORIGIN/../../../lib${LLVM_LIBDIR_SUFFIX}") 153 endif() 154 list(APPEND ocaml_flags "-ldopt" "-Wl,-rpath,${ocaml_rpath}") 155 156 add_custom_command( 157 OUTPUT ${ocaml_outputs} 158 COMMAND "${OCAMLFIND}" "ocamlmklib" "-ocamlcflags" "-bin-annot" 159 "-o" "${name}" ${ocaml_flags} ${ocaml_params} 160 DEPENDS ${ocaml_inputs} ${c_outputs} 161 COMMENT "Building OCaml library ${name}" 162 VERBATIM) 163 164 add_custom_command( 165 OUTPUT "${bin}/${name}.odoc" 166 COMMAND "${OCAMLFIND}" "ocamldoc" 167 "-I" "${bin}" 168 "-I" "${LLVM_LIBRARY_DIR}/ocaml/llvm/" 169 "-dump" "${bin}/${name}.odoc" 170 ${ocaml_pkgs} ${ocaml_inputs} 171 DEPENDS ${ocaml_inputs} ${ocaml_outputs} 172 COMMENT "Building OCaml documentation for ${name}" 173 VERBATIM) 174 175 add_custom_target("ocaml_${name}" ALL DEPENDS ${ocaml_outputs} "${bin}/${name}.odoc") 176 177 set_target_properties("ocaml_${name}" PROPERTIES 178 OCAML_FLAGS "-I;${bin}") 179 set_target_properties("ocaml_${name}" PROPERTIES 180 OCAML_ODOC "${bin}/${name}.odoc") 181 182 foreach( ocaml_dep ${ARG_OCAMLDEP} ) 183 add_dependencies("ocaml_${name}" "ocaml_${ocaml_dep}") 184 endforeach() 185 186 if( NOT LLVM_OCAML_OUT_OF_TREE ) 187 foreach( llvm_lib ${llvm_libs} ) 188 add_dependencies("ocaml_${name}" "${llvm_lib}") 189 endforeach() 190 endif() 191 192 add_dependencies("ocaml_all" "ocaml_${name}") 193 194 set(install_files) 195 set(install_shlibs) 196 foreach( ocaml_output ${ocaml_inputs} ${ocaml_outputs} ) 197 get_filename_component(ext "${ocaml_output}" EXT) 198 199 if( NOT (ext STREQUAL ".cmo" OR 200 ext STREQUAL ".ml" OR 201 ext STREQUAL CMAKE_C_OUTPUT_EXTENSION OR 202 ext STREQUAL CMAKE_SHARED_LIBRARY_SUFFIX) ) 203 list(APPEND install_files "${ocaml_output}") 204 elseif( ext STREQUAL CMAKE_SHARED_LIBRARY_SUFFIX) 205 list(APPEND install_shlibs "${ocaml_output}") 206 endif() 207 endforeach() 208 209 install(FILES ${install_files} 210 DESTINATION "${LLVM_OCAML_INSTALL_PATH}/llvm") 211 install(FILES ${install_shlibs} 212 PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE 213 GROUP_READ GROUP_EXECUTE 214 WORLD_READ WORLD_EXECUTE 215 DESTINATION "${LLVM_OCAML_INSTALL_PATH}/stublibs") 216 217 foreach( install_file ${install_files} ${install_shlibs} ) 218 get_filename_component(filename "${install_file}" NAME) 219 add_custom_command(TARGET "ocaml_${name}" POST_BUILD 220 COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${install_file}" 221 "${LLVM_LIBRARY_DIR}/ocaml/llvm/" 222 COMMENT "Copying OCaml library component ${filename} to intermediate area" 223 VERBATIM) 224 add_dependencies("ocaml_${name}" ocaml_make_directory) 225 endforeach() 226endfunction() 227 228add_custom_target(ocaml_make_directory 229 COMMAND "${CMAKE_COMMAND}" "-E" "make_directory" "${LLVM_LIBRARY_DIR}/ocaml/llvm") 230add_custom_target("ocaml_all") 231set_target_properties(ocaml_all PROPERTIES FOLDER "Misc") 232set_target_properties(ocaml_make_directory PROPERTIES FOLDER "Misc") 233