diff options
| author | gregory guy <g-gregory@gmx.fr> | 2019-06-27 16:35:25 +0200 |
|---|---|---|
| committer | Slávek Banko <slavek.banko@axis.cz> | 2019-06-28 13:45:47 +0200 |
| commit | aca01d5a8b7d3de53fa34696e18c91db720a5ab6 (patch) | |
| tree | 6b9b83c599cc5db58df8041ca5cf812e00bbd25e /kalzium/ConfigureChecks.cmake | |
| parent | 88af19c041ad4f1139f6f0a35cd1a4fe2018425f (diff) | |
| download | tdeedu-aca01d5a8b7d3de53fa34696e18c91db720a5ab6.tar.gz tdeedu-aca01d5a8b7d3de53fa34696e18c91db720a5ab6.zip | |
Conversion to the cmake building system.
Add includes to UI files to resolve FTBFS.
Signed-off-by: gregory guy <g-gregory@gmx.fr>
Signed-off-by: Slávek Banko <slavek.banko@axis.cz>
(cherry picked from commit d4a1613e9f119ae68c695ab60f8d9856d1a54a52)
Diffstat (limited to 'kalzium/ConfigureChecks.cmake')
| -rw-r--r-- | kalzium/ConfigureChecks.cmake | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/kalzium/ConfigureChecks.cmake b/kalzium/ConfigureChecks.cmake new file mode 100644 index 00000000..a51abf1b --- /dev/null +++ b/kalzium/ConfigureChecks.cmake @@ -0,0 +1,75 @@ +########################################### +# # +# Improvements and feedback are welcome # +# # +# This file is released under GPL >= 3 # +# # +########################################### + + +##### check for ocaml/facile + +if( WITH_OCAML_SOLVER ) + + if( NOT DEFINED HAVE_OCAML ) + message( STATUS "Search for ocaml" ) + + foreach( _exec ocamlc ocamldep ocamlopt ) + string( TOUPPER "${_exec}_EXECUTABLE" _exec_var ) + if( NOT DEFINED ${_exec_var} ) + find_program( ${_exec_var} NAMES ${_exec} ) + if( NOT ${_exec_var} ) + tde_message_fatal( "${_exec} is requested, but was not found on your system" ) + endif( ) + endif( ) + endforeach( ) + + if( NOT DEFINED OCAML_BASEDIR ) + execute_process( + COMMAND ${OCAMLOPT_EXECUTABLE} -where + OUTPUT_VARIABLE OCAML_BASEDIR + ERROR_VARIABLE OCAML_BASEDIR + OUTPUT_STRIP_TRAILING_WHITESPACE + ERROR_STRIP_TRAILING_WHITESPACE + ) + if( EXISTS ${OCAML_BASEDIR} AND IS_DIRECTORY ${OCAML_BASEDIR} ) + set( OCAML_BASEDIR ${OCAML_BASEDIR} CACHE PATH "Ocaml base directory" ) + set( OCAML_LIBRARY_DIR ${OCAML_BASEDIR} CACHE PATH "Ocaml libraries directory" ) + else( ) + tde_message_fatal( "Ocaml is requested, but was not found on your system" ) + endif( ) + endif( ) + + set( HAVE_OCAML 1 CACHE INTERNAL "" ) + message( STATUS "Search for ocaml - found" ) + endif( ) + + + if( NOT DEFINED HAVE_FACILE ) + message( STATUS "Search for facile" ) + + if( NOT DEFINED FACILE_LIBRARIES ) + find_library( FACILE_LIBRARIES + NAMES facile.a + HINTS ${OCAML_BASEDIR} + PATH_SUFFIXES facile ocaml/facile + ) + endif( ) + + if( NOT DEFINED FACILE_INCLUDE_DIR ) + find_path( FACILE_INCLUDE_DIR + NAMES facile.cmi + HINTS ${OCAML_BASEDIR} + PATH_SUFFIXES facile lib/ocaml/facile + ) + endif( ) + + if( NOT DEFINED FACILE_LIBRARIES OR NOT DEFINED FACILE_INCLUDE_DIR ) + tde_message_fatal( "Facile is requested, but was not found on your system" ) + endif( ) + + set( HAVE_FACILE 1 CACHE INTERNAL "Enable build with ocaml/facile" ) + message( STATUS "Search for facile - found" ) + endif( ) + +endif( WITH_OCAML_SOLVER ) |