Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add libunwind in simgrid dependencies
[simgrid.git] / buildtools / Cmake / MakeLib.cmake
index b6de4e9..96b330e 100644 (file)
@@ -3,6 +3,9 @@
 ###############################
 # Declare the library content #
 ###############################
+# If we want supernovae, rewrite the libs' content to use it
+include(${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/Supernovae.cmake)
+
 # Actually declare our libraries
 
 add_library(simgrid SHARED ${simgrid_sources})
@@ -12,26 +15,42 @@ add_library(gras SHARED ${gras_sources})
 set_target_properties(gras PROPERTIES VERSION ${libgras_version})
 
 if(enable_lib_static)
-       add_library(simgrid_static STATIC ${simgrid_sources})   
+  add_library(simgrid_static STATIC ${simgrid_sources})
 endif(enable_lib_static)
 
 if(enable_smpi)
-       add_library(smpi SHARED ${SMPI_SRC})
-       set_target_properties(smpi PROPERTIES VERSION ${libsmpi_version})
-       if(enable_lib_static)
-               add_library(smpi_static STATIC ${SMPI_SRC})     
-       endif(enable_lib_static)
+  add_library(smpi SHARED ${SMPI_SRC})
+  set_target_properties(smpi PROPERTIES VERSION ${libsmpi_version})
+  if(enable_lib_static)
+    add_library(smpi_static STATIC ${SMPI_SRC})
+  endif(enable_lib_static)
 endif(enable_smpi)
 
 add_dependencies(gras maintainer_files)
-add_dependencies(simgrid maintainer_files)                             
+add_dependencies(simgrid maintainer_files)
+
+# if supernovaeing, we need some depends to make sure that the source gets generated
+if (enable_supernovae)
+  add_dependencies(simgrid ${CMAKE_CURRENT_BINARY_DIR}/src/supernovae_sg.c)
+  if(enable_lib_static)
+    add_dependencies(simgrid_static ${CMAKE_CURRENT_BINARY_DIR}/src/supernovae_sg.c)
+  endif(enable_lib_static)
+  add_dependencies(gras ${CMAKE_CURRENT_BINARY_DIR}/src/supernovae_gras.c)
+
+  if(enable_smpi)
+    add_dependencies(smpi ${CMAKE_CURRENT_BINARY_DIR}/src/supernovae_smpi.c)
+    if(enable_lib_static)
+      add_dependencies(smpi_static ${CMAKE_CURRENT_BINARY_DIR}/src/supernovae_smpi.c)
+    endif(enable_lib_static)
+  endif(enable_smpi)
+endif(enable_supernovae)
 
 # Compute the dependencies of GRAS
 ##################################
-set(GRAS_DEP "-lm -lpthread")
+set(GRAS_DEP "-lm -pthread")
 
 if(HAVE_POSIX_GETTIME)
-       SET(GRAS_DEP "${GRAS_DEP} -lrt")
+  SET(GRAS_DEP "${GRAS_DEP} -lrt")
 endif(HAVE_POSIX_GETTIME)
 
 # the following is probably unneed since it kills the previous
@@ -39,9 +58,9 @@ endif(HAVE_POSIX_GETTIME)
 # My guess is that pthread is never true [Mt]
 # FIXME: KILLME if we get a working windows with that?
 if(with_context MATCHES windows)
-if(pthread)
-               SET(GRAS_DEP "msg")
-endif(pthread)
+  if(pthread)
+    SET(GRAS_DEP "msg")
+  endif(pthread)
 endif(with_context MATCHES windows)
 target_link_libraries(gras     ${GRAS_DEP})
 
@@ -50,63 +69,71 @@ target_link_libraries(gras  ${GRAS_DEP})
 set(SIMGRID_DEP "-lm -lpcre")
 
 if(pthread)
-       if(${CONTEXT_THREADS})
-               SET(SIMGRID_DEP "${SIMGRID_DEP} -lpthread")
-       endif(${CONTEXT_THREADS})       
+  if(${CONTEXT_THREADS})
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -pthread")
+  endif(${CONTEXT_THREADS})
 endif(pthread)
 
-if(HAVE_LUA)     
-    ADD_CUSTOM_TARGET(link_simgrid_lua ALL
-      DEPENDS  simgrid
-                       ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE}
-                               ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE}
-                               ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE}
-       )
-       add_custom_command(
-               OUTPUT  ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE}
-                               ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE}
-                               ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE}
-               COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
-               COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/lua/
-               COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE} #for test
-               
-               COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
-               COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/msg/masterslave/
-               COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE} #for test
-               
-               COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
-               COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/simdag/
-               COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE} #for test                       
-       )
-       SET(SIMGRID_DEP "${SIMGRID_DEP} -l${LIB_LUA_NAME}")       
+if(HAVE_LUA)
+  ADD_CUSTOM_TARGET(link_simgrid_lua ALL
+    DEPENDS    simgrid
+    ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE}
+    ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE}
+    ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE}
+    )
+  add_custom_command(
+    OUTPUT     ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE}
+    ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE}
+    ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE}
+    COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
+    COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/lua/
+    COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/lua/simgrid.${LIB_EXE} #for test
+
+    COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
+    COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/msg/masterslave/
+    COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/msg/masterslave/simgrid.${LIB_EXE} #for test
+
+    COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE} # if it exists, creating the link fails. So cleanup before hand
+    COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_BINARY_DIR}/examples/simdag/
+    COMMAND ${CMAKE_COMMAND} -E create_symlink ${CMAKE_BINARY_DIR}/lib/libsimgrid.${LIB_EXE} ${CMAKE_BINARY_DIR}/examples/simdag/simgrid.${LIB_EXE} #for test
+    )
+  SET(SIMGRID_DEP "${SIMGRID_DEP} -l${LIB_LUA_NAME}")
 endif(HAVE_LUA)
 
 if(HAVE_GRAPHVIZ)
-    if(HAVE_CGRAPH_LIB)
-           SET(SIMGRID_DEP "${SIMGRID_DEP} -lcgraph")
-       else(HAVE_CGRAPH_LIB)
-        if(HAVE_AGRAPH_LIB)
-           SET(SIMGRID_DEP "${SIMGRID_DEP} -lagraph -lcdt")
-        endif(HAVE_AGRAPH_LIB) 
-    endif(HAVE_CGRAPH_LIB)         
+  if(HAVE_CGRAPH_LIB)
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -lcgraph")
+  else(HAVE_CGRAPH_LIB)
+    if(HAVE_AGRAPH_LIB)
+      SET(SIMGRID_DEP "${SIMGRID_DEP} -lagraph -lcdt")
+    endif(HAVE_AGRAPH_LIB)
+  endif(HAVE_CGRAPH_LIB)
 endif(HAVE_GRAPHVIZ)
 
 if(HAVE_GTNETS)
-       SET(SIMGRID_DEP "${SIMGRID_DEP} -lgtnets")
+  SET(SIMGRID_DEP "${SIMGRID_DEP} -lgtnets")
 endif(HAVE_GTNETS)
 
+if(HAVE_MC)
+  if(PROCESSOR_x86_64)
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86_64")
+  else(PROCESSOR_x86_64)
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind")
+  endif(PROCESSOR_x86_64)
+endif(HAVE_MC)
+
 if(HAVE_NS3)
-    if(${NS3_VERSION} EQUAL 310)
-           SET(SIMGRID_DEP "${SIMGRID_DEP} -lns3")
-           set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -D_NS3_3_10")
-           set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -D_NS3_3_10")
-       else(${NS3_VERSION} EQUAL 310)
-           SET(SIMGRID_DEP "${SIMGRID_DEP} -lns3-core -lns3-csma -lns3-point-to-point")
-       endif(${NS3_VERSION} EQUAL 310)
+  if(${NS3_VERSION} EQUAL 310)
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -lns3")
+    set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -D_NS3_3_10")
+    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -D_NS3_3_10")
+  else(${NS3_VERSION} EQUAL 310)
+    SET(SIMGRID_DEP "${SIMGRID_DEP} -lns3-core -lns3-csma -lns3-point-to-point -lns3-internet -lns3-applications")
+  endif(${NS3_VERSION} EQUAL 310)
 endif(HAVE_NS3)
 
 if(HAVE_POSIX_GETTIME)
-       SET(SIMGRID_DEP "${SIMGRID_DEP} -lrt")
+  SET(SIMGRID_DEP "${SIMGRID_DEP} -lrt")
 endif(HAVE_POSIX_GETTIME)
 
 target_link_libraries(simgrid  ${SIMGRID_DEP})
@@ -115,20 +142,26 @@ target_link_libraries(simgrid     ${SIMGRID_DEP})
 ##################################
 set(SMPI_LDEP "")
 if(APPLE)
-    set(SMPI_LDEP "-Wl,-U -Wl,_smpi_simulated_main")
+  set(SMPI_LDEP "-Wl,-U -Wl,_smpi_simulated_main")
 endif(APPLE)
 if(enable_smpi)
-       target_link_libraries(smpi      simgrid ${SMPI_LDEP})
+  target_link_libraries(smpi   simgrid ${SMPI_LDEP})
 endif(enable_smpi)
 
 # Pass dependencies to static libs
 ##################################
 if(enable_lib_static)
-       target_link_libraries(simgrid_static    ${SIMGRID_DEP})
-       add_dependencies(simgrid_static maintainer_files)
-       set_target_properties(simgrid_static PROPERTIES OUTPUT_NAME simgrid)
-       if(enable_smpi)
-               target_link_libraries(smpi_static       simgrid ${SMPI_LDEP})
-               set_target_properties(smpi_static PROPERTIES OUTPUT_NAME smpi)
-       endif(enable_smpi)
-endif(enable_lib_static)
\ No newline at end of file
+  target_link_libraries(simgrid_static         ${SIMGRID_DEP})
+  add_dependencies(simgrid_static maintainer_files)
+  set_target_properties(simgrid_static PROPERTIES OUTPUT_NAME simgrid)
+  if(enable_smpi)
+    target_link_libraries(smpi_static  simgrid ${SMPI_LDEP})
+    set_target_properties(smpi_static PROPERTIES OUTPUT_NAME smpi)
+  endif(enable_smpi)
+endif(enable_lib_static)
+
+# Dependencies from maintainer mode
+###################################
+if(enable_maintainer_mode AND BISON_EXE AND LEX_EXE)
+  add_dependencies(simgrid automaton_generated_src)
+endif(enable_maintainer_mode AND BISON_EXE AND LEX_EXE)