This is an archive of the discontinued LLVM Phabricator instance.

Differential D6102

[OCaml] [cmake] Add CMake buildsystem for OCaml.
ClosedPublic

Authored by whitequark on Nov 3 2014, 3:17 PM.

Details

Reviewers
chandlerc
rnk
Commits
rZORG1053cf1f0071: [ARM][ParallelDSP] Relax alias checks
rZORG8e3ca9884087: [ARM][ParallelDSP] Relax alias checks
rG1053cf1f0071: [ARM][ParallelDSP] Relax alias checks
rG8e3ca9884087: [ARM][ParallelDSP] Relax alias checks
rGa33e311a3b96: [ARM][ParallelDSP] Relax alias checks
rL360567: [ARM][ParallelDSP] Relax alias checks
Summary

Closes PR15325.

Diff Detail

Event Timeline

whitequark updated this revision to Diff 15737.Nov 3 2014, 3:17 PM
whitequark retitled this revision from to [OCaml] [cmake] Add CMake buildsystem for OCaml..
whitequark updated this object.
whitequark edited the test plan for this revision. (Show Details)
whitequark added a reviewer: chandlerc.
whitequark set the repository for this revision to rL LLVM.
whitequark added a subscriber: Unknown Object (MLST).
whitequark added a comment.Nov 3 2014, 3:20 PM

This CMake buildsystem port should be functionally equivalent to the autoconf one, including:

  • Proper handling of dependencies between OCaml libraries and between OCaml and C++ libraries, including with parallel builds;
  • Embedding of equivalent linker flags in cma/cmxa libraries (not identical, as CMake shared library split LLVM harder);
  • Installation;
  • Generating documentation.

I have tested it extensively using the following matrix, which is a superset of the lit tests:

linux × shared/static builds × autoconf/cmake (for comparison) × ocaml toplevel/ocamlc/ocamlc -custom/ocamlopt.

All combinations appear to work.

whitequark added a parent revision: D6099: [cmake] Unbreak LLVM-Config.cmake / llvm_expand_dependencies.Nov 3 2014, 3:25 PM
rnk added a subscriber: rnk.Nov 3 2014, 4:40 PM

This looks refreshingly clean and simple.

cmake/modules/AddOCaml.cmake
8

Can you add a bit more explanatory text here about what the arguments are? It's not clear from the context of the caller what these are supposed to be.

whitequark updated this revision to Diff 15751.Nov 4 2014, 2:03 AM
whitequark set the repository for this revision to rL LLVM.
  • Add documentation in AddOCaml.
  • Build documentation for the Llvm_$BACKEND modules, too.
  • Install documentation in docs/ocaml/html rather than a Debian-specific directory, as it was earlier.
  • Remove whitespace changes.
  • Remove some accidentally committed code.
chandlerc edited edge metadata.Nov 17 2014, 8:43 AM

FYI, I'll let Reid finish the review here as he has looked at this in detail.

My only comment is that there is a confusing mixture of indentation styles here (4-space vs. 2-space, etc.). I understand that LLVM's existing CMake isn't the most consistent in this respect, but I think we're increasingly 2-space indent. I would at least try to be consistent with all the cmake bits you're adding here.

whitequark updated this revision to Diff 16400.Nov 19 2014, 2:21 PM
whitequark edited edge metadata.

Reindent to 2 spaces.

This diff should address all concerns discussed.

whitequark updated this revision to Diff 16402.Nov 19 2014, 2:23 PM

Previous upload accidentally included a few unrelated commits.

whitequark added a comment.Nov 28 2014, 5:28 AM

@rnk Ping?

rnk accepted this revision.Dec 1 2014, 11:33 AM
rnk added a reviewer: rnk.

lgtm

Thanks!

This revision is now accepted and ready to land.Dec 1 2014, 11:33 AM
whitequark closed this revision.Dec 1 2014, 11:51 AM

r223071

Revision Contents

PathSize
6 lines
bindings/
ocaml/
11 lines
all_backends/
5 lines
analysis/
5 lines
backends/
27 lines
bitreader/
5 lines
bitwriter/
5 lines
executionengine/
6 lines
irreader/
5 lines
linker/
5 lines
llvm/
11 lines
target/
5 lines
transforms/
4 lines
ipo/
5 lines
passmgr_builder/
5 lines
scalar_opts/
5 lines
vectorize/
5 lines
cmake/
22 lines
modules/
199 lines
103 lines
docs/
42 lines
test/
Bindings/
OCaml/
2 lines
18 lines
3 lines

Diff 16402

CMakeLists.txt

Show First 20 Lines • Show All 524 Lines • ▼ Show 20 Lines if ( LLVM_INCLUDE_TESTS )
Either set LLVM_INCLUDE_UTILS to On, or set LLVM_INCLDE_TESTS to Off.") Either set LLVM_INCLUDE_UTILS to On, or set LLVM_INCLDE_TESTS to Off.")
endif() endif()
endif() endif()
if(LLVM_INCLUDE_TESTS) if(LLVM_INCLUDE_TESTS)
add_subdirectory(utils/unittest) add_subdirectory(utils/unittest)
endif() endif()
foreach( binding ${LLVM_BINDINGS_LIST} )
if( EXISTS "${LLVM_MAIN_SRC_DIR}/bindings/${binding}/CMakeLists.txt" )
add_subdirectory(bindings/${binding})
endif()
endforeach()
add_subdirectory(projects) add_subdirectory(projects)
if(WITH_POLLY) if(WITH_POLLY)
if(NOT EXISTS ${LLVM_MAIN_SRC_DIR}/tools/polly/CMakeLists.txt) if(NOT EXISTS ${LLVM_MAIN_SRC_DIR}/tools/polly/CMakeLists.txt)
set(WITH_POLLY OFF) set(WITH_POLLY OFF)
endif() endif()
endif(WITH_POLLY) endif(WITH_POLLY)
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

bindings/ocaml/CMakeLists.txt

  • This file was added.
add_subdirectory(llvm)
add_subdirectory(all_backends)
add_subdirectory(analysis)
add_subdirectory(backends)
add_subdirectory(bitreader)
add_subdirectory(bitwriter)
add_subdirectory(irreader)
add_subdirectory(linker)
add_subdirectory(target)
add_subdirectory(transforms)
add_subdirectory(executionengine)

bindings/ocaml/all_backends/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_all_backends
OCAML llvm_all_backends
OCAMLDEP llvm
C all_backends_ocaml
LLVM ${LLVM_TARGETS_TO_BUILD})

bindings/ocaml/analysis/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_analysis
OCAML llvm_analysis
OCAMLDEP llvm
C analysis_ocaml
LLVM analysis)

bindings/ocaml/backends/CMakeLists.txt

  • This file was added.
foreach(TARGET ${LLVM_TARGETS_TO_BUILD})
set(OCAML_LLVM_TARGET ${TARGET})
foreach( ext ml mli )
configure_file(
"${CMAKE_CURRENT_SOURCE_DIR}/llvm_backend.${ext}.in"
"${CMAKE_CURRENT_BINARY_DIR}/llvm_${TARGET}.${ext}")
endforeach()
configure_file(
"${CMAKE_CURRENT_SOURCE_DIR}/backend_ocaml.c"
"${CMAKE_CURRENT_BINARY_DIR}/${TARGET}_ocaml.c")
add_ocaml_library(llvm_${TARGET}
OCAML llvm_${TARGET}
C ${TARGET}_ocaml
CFLAGS -DTARGET=${TARGET}
LLVM ${TARGET}
NOCOPY)
configure_file(
"${CMAKE_CURRENT_SOURCE_DIR}/META.llvm_backend.in"
"${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/META.llvm_${TARGET}")
install(FILES "${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/META.llvm_${TARGET}"
DESTINATION lib/ocaml)
endforeach()

bindings/ocaml/bitreader/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_bitreader
OCAML llvm_bitreader
OCAMLDEP llvm
C bitreader_ocaml
LLVM bitreader)

bindings/ocaml/bitwriter/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_bitwriter
OCAML llvm_bitwriter
OCAMLDEP llvm
C bitwriter_ocaml
LLVM bitwriter)

bindings/ocaml/executionengine/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_executionengine
OCAML llvm_executionengine
OCAMLDEP llvm llvm_target
C executionengine_ocaml
LLVM executionengine mcjit native
PKG ctypes)

bindings/ocaml/irreader/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_irreader
OCAML llvm_irreader
OCAMLDEP llvm
C irreader_ocaml
LLVM irreader)

bindings/ocaml/linker/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_linker
OCAML llvm_linker
OCAMLDEP llvm
C linker_ocaml
LLVM linker)

bindings/ocaml/llvm/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm
OCAML llvm
C llvm_ocaml
LLVM core transformutils support)
configure_file(
"${CMAKE_CURRENT_SOURCE_DIR}/META.llvm.in"
"${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/META.llvm")
install(FILES "${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/META.llvm"
DESTINATION lib/ocaml)

bindings/ocaml/target/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_target
OCAML llvm_target
OCAMLDEP llvm
C target_ocaml
LLVM target)

bindings/ocaml/transforms/CMakeLists.txt

  • This file was added.
add_subdirectory(ipo)
add_subdirectory(passmgr_builder)
add_subdirectory(scalar_opts)
add_subdirectory(vectorize)

bindings/ocaml/transforms/ipo/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_ipo
OCAML llvm_ipo
OCAMLDEP llvm
C ipo_ocaml
LLVM ipo)

bindings/ocaml/transforms/passmgr_builder/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_passmgr_builder
OCAML llvm_passmgr_builder
OCAMLDEP llvm
C passmgr_builder_ocaml
LLVM ipo)

bindings/ocaml/transforms/scalar_opts/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_scalar_opts
OCAML llvm_scalar_opts
OCAMLDEP llvm
C scalar_opts_ocaml
LLVM scalaropts)

bindings/ocaml/transforms/vectorize/CMakeLists.txt

  • This file was added.
add_ocaml_library(llvm_vectorize
OCAML llvm_vectorize
OCAMLDEP llvm
C vectorize_ocaml
LLVM vectorize)

cmake/config-ix.cmake

Show First 20 Lines • Show All 510 Lines • ▼ Show 20 Lines else()
if(GO_CONFTEST STREQUAL "0") if(GO_CONFTEST STREQUAL "0")
set(LLVM_BINDINGS "${LLVM_BINDINGS} go") set(LLVM_BINDINGS "${LLVM_BINDINGS} go")
message(STATUS "Go bindings enabled.") message(STATUS "Go bindings enabled.")
else() else()
message(STATUS "Go bindings disabled, need at least Go 1.2.") message(STATUS "Go bindings disabled, need at least Go 1.2.")
endif() endif()
endif() endif()
endif() endif()
include(FindOCaml)
include(AddOCaml)
if(WIN32)
message(STATUS "OCaml bindings disabled.")
else()
find_package(OCaml)
if( NOT OCAML_FOUND )
message(STATUS "OCaml bindings disabled.")
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")
endif()
endif()
endif()
string(REPLACE " " ";" LLVM_BINDINGS_LIST "${LLVM_BINDINGS}")

cmake/modules/AddOCaml.cmake

  • This file was added.
# CMake build rules for the OCaml language.
# Assumes FindOCaml is used.
# http://ocaml.org/
#
# Example usage:
#
# add_ocaml_library(pkg_a OCAML mod_a OCAMLDEP pkg_b C mod_a_stubs PKG ctypes LLVM core)
#
rnkUnsubmitted
Not Done
ReplyInline Actions

Can you add a bit more explanatory text here about what the arguments are? It's not clear from the context of the caller what these are supposed to be.

rnk: Can you add a bit more explanatory text here about what the arguments are? It's not clear from…
# Unnamed parameters:
#
# * Library name.
#
# Named parameters:
#
# OCAML OCaml module names. Imply presence of a corresponding .ml and .mli files.
# OCAMLDEP Names of libraries this library depends on.
# C C stub sources. Imply presence of a corresponding .c file.
# CFLAGS Additional arguments passed when compiling C stubs.
# PKG Names of ocamlfind packages this library depends on.
# LLVM Names of LLVM libraries this library depends on.
# NOCOPY Do not automatically copy sources (.c, .ml, .mli) from the source directory,
# e.g. if they are generated.
#
function(add_ocaml_library name)
CMAKE_PARSE_ARGUMENTS(ARG "NOCOPY" "" "OCAML;OCAMLDEP;C;CFLAGS;PKG;LLVM" ${ARGN})
set(src ${CMAKE_CURRENT_SOURCE_DIR})
set(bin ${CMAKE_CURRENT_BINARY_DIR})
set(ocaml_pkgs)
foreach( ocaml_pkg ${ARG_PKG} )
list(APPEND ocaml_pkgs "-package" "${ocaml_pkg}")
endforeach()
set(sources)
set(ocaml_inputs)
set(ocaml_outputs "${bin}/${name}.cma")
if( ARG_C )
list(APPEND ocaml_outputs
"${bin}/lib${name}${CMAKE_STATIC_LIBRARY_SUFFIX}")
if ( BUILD_SHARED_LIBS )
list(APPEND ocaml_outputs
"${bin}/dll${name}${CMAKE_SHARED_LIBRARY_SUFFIX}")
endif()
endif()
if( HAVE_OCAMLOPT )
list(APPEND ocaml_outputs
"${bin}/${name}.cmxa"
"${bin}/${name}${CMAKE_STATIC_LIBRARY_SUFFIX}")
endif()
set(ocaml_flags "-lstdc++" "-ldopt" "-L${LLVM_LIBRARY_OUTPUT_INTDIR}"
${ocaml_pkgs})
foreach( ocaml_dep ${ARG_OCAMLDEP} )
get_target_property(dep_ocaml_flags "ocaml_${ocaml_dep}" OCAML_FLAGS)
list(APPEND ocaml_flags ${dep_ocaml_flags})
endforeach()
if( NOT BUILD_SHARED_LIBS )
list(APPEND ocaml_flags "-custom")
endif()
explicit_map_components_to_libraries(llvm_libs ${ARG_LLVM})
foreach( llvm_lib ${llvm_libs} )
list(APPEND ocaml_flags "-l${llvm_lib}" )
endforeach()
get_property(system_libs TARGET LLVMSupport PROPERTY LLVM_SYSTEM_LIBS)
foreach(system_lib ${system_libs})
list(APPEND ocaml_flags "-l${system_lib}" )
endforeach()
string(REPLACE ";" " " ARG_CFLAGS "${ARG_CFLAGS}")
set(c_flags "${ARG_CFLAGS} ${LLVM_DEFINITIONS}")
foreach( include_dir ${LLVM_INCLUDE_DIR} ${LLVM_MAIN_INCLUDE_DIR} )
set(c_flags "${c_flags} -I${include_dir}")
endforeach()
foreach( ocaml_file ${ARG_OCAML} )
list(APPEND sources "${ocaml_file}.mli" "${ocaml_file}.ml")
list(APPEND ocaml_inputs "${bin}/${ocaml_file}.mli" "${bin}/${ocaml_file}.ml")
list(APPEND ocaml_outputs "${bin}/${ocaml_file}.cmi" "${bin}/${ocaml_file}.cmo")
if( HAVE_OCAMLOPT )
list(APPEND ocaml_outputs
"${bin}/${ocaml_file}.cmx"
"${bin}/${ocaml_file}${CMAKE_C_OUTPUT_EXTENSION}")
endif()
endforeach()
foreach( c_file ${ARG_C} )
list(APPEND sources "${c_file}.c")
list(APPEND c_inputs "${bin}/${c_file}.c")
list(APPEND c_outputs "${bin}/${c_file}${CMAKE_C_OUTPUT_EXTENSION}")
endforeach()
if( NOT ARG_NOCOPY )
foreach( source ${sources} )
add_custom_command(
OUTPUT "${bin}/${source}"
COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${src}/${source}" "${bin}"
DEPENDS "${src}/${source}"
COMMENT "Copying ${source} to build area")
endforeach()
endif()
foreach( c_input ${c_inputs} )
get_filename_component(basename "${c_input}" NAME_WE)
add_custom_command(
OUTPUT "${basename}${CMAKE_C_OUTPUT_EXTENSION}"
COMMAND "${OCAMLFIND}" "ocamlc" "-c" "${c_input}" -ccopt ${c_flags}
DEPENDS "${c_input}"
COMMENT "Building OCaml stub object file ${basename}${CMAKE_C_OUTPUT_EXTENSION}"
VERBATIM)
endforeach()
set(ocaml_params)
foreach( ocaml_input ${ocaml_inputs} ${c_outputs})
get_filename_component(filename "${ocaml_input}" NAME)
list(APPEND ocaml_params "${filename}")
endforeach()
if( APPLE )
set(ocaml_rpath "@executable_path/../../lib")
elseif( UNIX )
set(ocaml_rpath "\\$ORIGIN/../../lib")
endif()
list(APPEND ocaml_flags "-ldopt" "-Wl,-rpath,${ocaml_rpath}")
add_custom_command(
OUTPUT ${ocaml_outputs}
COMMAND "${OCAMLFIND}" "ocamlmklib" "-o" "${name}" ${ocaml_flags} ${ocaml_params}
DEPENDS ${ocaml_inputs} ${c_outputs}
COMMENT "Building OCaml library ${name}"
VERBATIM)
add_custom_command(
OUTPUT "${bin}/${name}.odoc"
COMMAND "${OCAMLFIND}" "ocamldoc"
"-I" "${bin}"
"-I" "${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/"
"-dump" "${bin}/${name}.odoc"
${ocaml_pkgs} ${ocaml_inputs}
DEPENDS ${ocaml_inputs}
COMMENT "Building OCaml documentation for ${name}"
VERBATIM)
add_custom_target("ocaml_${name}" ALL DEPENDS ${ocaml_outputs} "${bin}/${name}.odoc")
set_target_properties("ocaml_${name}" PROPERTIES
OCAML_FLAGS "-I;${bin}")
set_target_properties("ocaml_${name}" PROPERTIES
OCAML_ODOC "${bin}/${name}.odoc")
foreach( ocaml_dep ${ARG_OCAMLDEP} )
add_dependencies("ocaml_${name}" "ocaml_${ocaml_dep}")
endforeach()
foreach( llvm_lib ${llvm_libs} )
add_dependencies("ocaml_${name}" "${llvm_lib}")
endforeach()
set(install_files)
set(install_shlibs)
foreach( ocaml_output ${ocaml_outputs} )
get_filename_component(ext "${ocaml_output}" EXT)
if( NOT (ext STREQUAL ".cmo" OR
ext STREQUAL CMAKE_C_OUTPUT_EXTENSION OR
ext STREQUAL CMAKE_SHARED_LIBRARY_SUFFIX) )
list(APPEND install_files "${ocaml_output}")
elseif( ext STREQUAL CMAKE_SHARED_LIBRARY_SUFFIX)
list(APPEND install_shlibs "${ocaml_output}")
endif()
endforeach()
install(FILES ${install_files}
DESTINATION lib/ocaml)
install(FILES ${install_shlibs}
PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE
GROUP_READ GROUP_EXECUTE
WORLD_READ WORLD_EXECUTE
DESTINATION lib/ocaml)
foreach( install_file ${install_files} ${install_shlibs} )
get_filename_component(filename "${install_file}" NAME)
add_custom_command(TARGET "ocaml_${name}" POST_BUILD
COMMAND "${CMAKE_COMMAND}" "-E" "copy" "${install_file}"
"${LLVM_LIBRARY_OUTPUT_INTDIR}/ocaml/"
COMMENT "Copying OCaml library component ${filename} to intermediate area"
VERBATIM)
endforeach()
endfunction()

cmake/modules/FindOCaml.cmake

  • This file was added.
# CMake find_package() module for the OCaml language.
# Assumes ocamlfind will be used for compilation.
# http://ocaml.org/
#
# Example usage:
#
# find_package(OCaml)
#
# If successful, the following variables will be defined:
# OCAMLFIND
# OCAML_VERSION
# OCAML_STDLIB_PATH
# HAVE_OCAMLOPT
#
# Also provides find_ocamlfind_package() macro.
#
# Example usage:
#
# find_ocamlfind_package(ctypes)
#
# In any case, the following variables are defined:
#
# HAVE_OCAML_${pkg}
#
# If successful, the following variables will be defined:
#
# OCAML_${pkg}_VERSION
include( FindPackageHandleStandardArgs )
find_program(OCAMLFIND
NAMES ocamlfind)
if( OCAMLFIND )
execute_process(
COMMAND ${OCAMLFIND} ocamlc -version
OUTPUT_VARIABLE OCAML_VERSION
OUTPUT_STRIP_TRAILING_WHITESPACE)
execute_process(
COMMAND ${OCAMLFIND} ocamlc -where
OUTPUT_VARIABLE OCAML_STDLIB_PATH
OUTPUT_STRIP_TRAILING_WHITESPACE)
execute_process(
COMMAND ${OCAMLFIND} ocamlc -version
OUTPUT_QUIET
RESULT_VARIABLE find_ocaml_result)
if( find_ocaml_result EQUAL 0 )
set(HAVE_OCAMLOPT TRUE)
else()
set(HAVE_OCAMLOPT FALSE)
endif()
endif()
find_package_handle_standard_args( OCaml DEFAULT_MSG
OCAMLFIND
OCAML_VERSION
OCAML_STDLIB_PATH)
mark_as_advanced(
OCAMLFIND)
function(find_ocamlfind_package pkg)
CMAKE_PARSE_ARGUMENTS(ARG "OPTIONAL" "VERSION" "" ${ARGN})
execute_process(
COMMAND "${OCAMLFIND}" "query" "${pkg}" "-format" "%v"
RESULT_VARIABLE result
OUTPUT_VARIABLE version
ERROR_VARIABLE error
OUTPUT_STRIP_TRAILING_WHITESPACE
ERROR_STRIP_TRAILING_WHITESPACE)
if( NOT result EQUAL 0 AND NOT ARG_OPTIONAL )
message(FATAL_ERROR ${error})
endif()
if( result EQUAL 0 )
set(found TRUE)
else()
set(found FALSE)
endif()
if( found AND ARG_VERSION )
if( version VERSION_LESS ARG_VERSION AND ARG_OPTIONAL )
# If it's optional and the constraint is not satisfied, pretend
# it wasn't found.
set(found FALSE)
elseif( version VERSION_LESS ARG_VERSION )
message(FATAL_ERROR
"ocamlfind package ${pkg} should have version ${ARG_VERSION} or newer")
endif()
endif()
string(TOUPPER ${pkg} pkg)
set(HAVE_OCAML_${pkg} ${found}
PARENT_SCOPE)
set(OCAML_${pkg}_VERSION ${version}
PARENT_SCOPE)
endfunction()

docs/CMakeLists.txt

Show First 20 Lines • Show All 98 Lines • ▼ Show 20 Lines if (SPHINX_FOUND)
if (${SPHINX_OUTPUT_MAN}) if (${SPHINX_OUTPUT_MAN})
add_sphinx_target(man llvm) add_sphinx_target(man llvm)
endif() endif()
endif() endif()
endif() endif()
list(FIND LLVM_BINDINGS_LIST ocaml uses_ocaml)
if( NOT uses_ocaml LESS 0 )
set(doc_targets
ocaml_llvm
ocaml_llvm_all_backends
ocaml_llvm_analysis
ocaml_llvm_bitreader
ocaml_llvm_bitwriter
ocaml_llvm_executionengine
ocaml_llvm_irreader
ocaml_llvm_linker
ocaml_llvm_target
ocaml_llvm_ipo
ocaml_llvm_passmgr_builder
ocaml_llvm_scalar_opts
ocaml_llvm_vectorize
)
foreach(llvm_target ${LLVM_TARGETS_TO_BUILD})
list(APPEND doc_targets ocaml_llvm_${llvm_target})
endforeach()
set(odoc_files)
foreach( doc_target ${doc_targets} )
get_target_property(odoc_file ${doc_target} OCAML_ODOC)
list(APPEND odoc_files -load ${odoc_file})
endforeach()
add_custom_target(ocaml_doc
COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html
COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html
COMMAND ${OCAMLFIND} ocamldoc -d ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html
-sort -colorize-code -html ${odoc_files})
add_dependencies(ocaml_doc ${doc_targets})
if (NOT LLVM_INSTALL_TOOLCHAIN_ONLY)
install(DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/ocamldoc/html
DESTINATION docs/ocaml/html)
endif()
endif()

test/Bindings/OCaml/lit.local.cfg

config.suffixes = ['.ml'] config.suffixes = ['.ml']
if not 'ocaml' in config.root.llvm_bindings: if not 'ocaml' in config.root.llvm_bindings:
config.unsupported = True config.unsupported = True
if config.root.have_ocaml_ounit != '1': if config.root.have_ocaml_ounit not in ('1', 'TRUE'):
config.unsupported = True config.unsupported = True

test/CMakeLists.txt

Show First 20 Lines • Show All 62 Lines • ▼ Show 20 Lines
if(TARGET LLVMgold) if(TARGET LLVMgold)
set(LLVM_TEST_DEPENDS ${LLVM_TEST_DEPENDS} LLVMgold) set(LLVM_TEST_DEPENDS ${LLVM_TEST_DEPENDS} LLVMgold)
endif() endif()
if(TARGET llvm-go) if(TARGET llvm-go)
set(LLVM_TEST_DEPENDS ${LLVM_TEST_DEPENDS} llvm-go) set(LLVM_TEST_DEPENDS ${LLVM_TEST_DEPENDS} llvm-go)
endif() endif()
if(TARGET ocaml_llvm)
set(LLVM_TEST_DEPENDS ${LLVM_TEST_DEPENDS}
ocaml_llvm
ocaml_llvm_all_backends
ocaml_llvm_analysis
ocaml_llvm_bitreader
ocaml_llvm_bitwriter
ocaml_llvm_executionengine
ocaml_llvm_irreader
ocaml_llvm_linker
ocaml_llvm_target
ocaml_llvm_ipo
ocaml_llvm_passmgr_builder
ocaml_llvm_scalar_opts
ocaml_llvm_vectorize
)
endif()
add_lit_testsuite(check-llvm "Running the LLVM regression tests" add_lit_testsuite(check-llvm "Running the LLVM regression tests"
${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_CURRENT_BINARY_DIR}
PARAMS llvm_site_config=${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg PARAMS llvm_site_config=${CMAKE_CURRENT_BINARY_DIR}/lit.site.cfg
llvm_unit_site_config=${CMAKE_CURRENT_BINARY_DIR}/Unit/lit.site.cfg llvm_unit_site_config=${CMAKE_CURRENT_BINARY_DIR}/Unit/lit.site.cfg
DEPENDS ${LLVM_TEST_DEPENDS} DEPENDS ${LLVM_TEST_DEPENDS}
) )
set_target_properties(check-llvm PROPERTIES FOLDER "Tests") set_target_properties(check-llvm PROPERTIES FOLDER "Tests")
# Setup a legacy alias for 'check-llvm'. This will likely change to be an # Setup a legacy alias for 'check-llvm'. This will likely change to be an
# alias for 'check-all' at some point in the future. # alias for 'check-all' at some point in the future.
add_custom_target(check) add_custom_target(check)
add_dependencies(check check-llvm) add_dependencies(check check-llvm)
set_target_properties(check PROPERTIES FOLDER "Tests") set_target_properties(check PROPERTIES FOLDER "Tests")

test/lit.cfg

Show First 20 Lines • Show All 192 Lines • ▼ Show 20 Lines
config.substitutions.append( ('%llvmshlibdir', config.llvm_shlib_dir) ) config.substitutions.append( ('%llvmshlibdir', config.llvm_shlib_dir) )
config.substitutions.append( ('%shlibext', config.llvm_shlib_ext) ) config.substitutions.append( ('%shlibext', config.llvm_shlib_ext) )
config.substitutions.append( ('%exeext', config.llvm_exe_ext) ) config.substitutions.append( ('%exeext', config.llvm_exe_ext) )
config.substitutions.append( ('%python', config.python_executable) ) config.substitutions.append( ('%python', config.python_executable) )
# OCaml substitutions. # OCaml substitutions.
# Support tests for both native and bytecode builds. # Support tests for both native and bytecode builds.
config.substitutions.append( ('%ocamlc', config.substitutions.append( ('%ocamlc',
"%s ocamlc %s" % (config.ocamlfind_executable, config.ocaml_flags)) ) "%s ocamlc -cclib -L%s %s" %
(config.ocamlfind_executable, llvm_lib_dir, config.ocaml_flags)) )
if config.have_ocamlopt in ('1', 'TRUE'): if config.have_ocamlopt in ('1', 'TRUE'):
config.substitutions.append( ('%ocamlopt', config.substitutions.append( ('%ocamlopt',
"%s ocamlopt -cclib -L%s -cclib -Wl,-rpath,%s %s" % "%s ocamlopt -cclib -L%s -cclib -Wl,-rpath,%s %s" %
(config.ocamlfind_executable, llvm_lib_dir, llvm_lib_dir, config.ocaml_flags)) ) (config.ocamlfind_executable, llvm_lib_dir, llvm_lib_dir, config.ocaml_flags)) )
else: else:
config.substitutions.append( ('%ocamlopt', "true" ) ) config.substitutions.append( ('%ocamlopt', "true" ) )
# For each occurrence of an llvm tool name as its own word, replace it # For each occurrence of an llvm tool name as its own word, replace it
▲ Show 20 Lines • Show All 186 Lines • Show Last 20 Lines