if(enable_model-checking AND HAVE_MMAP)
SET(HAVE_MC 1)
SET(MMALLOC_WANT_OVERIDE_LEGACY 1)
+else(enable_model-checking AND HAVE_MMAP)
+ SET(HAVE_MC 0)
+ SET(MMALLOC_WANT_OVERIDE_LEGACY 0)
endif(enable_model-checking AND HAVE_MMAP)
if(enable_lua)
#--------------------------------------------------------------------------------------------------
### Initialize of CONTEXT GTNETS
-if(NOT enable_gtnets)
+if(NOT enable_gtnets OR enable_supernovae)
SET(HAVE_GTNETS 0)
-else(NOT enable_gtnets)
+else(NOT enable_gtnets OR enable_supernovae)
set(GTNETS_LDFLAGS "-L${gtnets_path}/lib")
set(GTNETS_CPPFLAGS "-I${gtnets_path}/include/gtnets")
exec_program("${CMAKE_CXX_COMPILER} ${GTNETS_CPPFLAGS} -lgtnets ${GTNETS_LDFLAGS} ${PROJECT_DIRECTORY}/buildtools/Cmake/test_prog/prog_gtnets.cpp " OUTPUT_VARIABLE COMPILE_GTNETS_VAR)
SET(CMAKE_C_FLAGS "${CMAKE_C_FLAGS}${GTNETS_LDFLAGS} ${GTNETS_CPPFLAGS} ")
SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}${GTNETS_LDFLAGS} ${GTNETS_CPPFLAGS} ")
endif(COMPILE_GTNETS_VAR)
-endif(NOT enable_gtnets)
+endif(NOT enable_gtnets OR enable_supernovae)
#--------------------------------------------------------------------------------------------------
### Initialize of CONTEXT THREADS
endif(IS_DIRECTORY ${PROJECT_DIRECTORY}/.svn)
if(IS_DIRECTORY ${PROJECT_DIRECTORY}/.git)
- find_file(GIT ".git" ${PROJECT_DIRECTORY})
+
exec_program("git --git-dir=${PROJECT_DIRECTORY}/.git log --oneline -1" OUTPUT_VARIABLE "GIT_VERSION")
- string(REGEX REPLACE " .*" "" GIT_VERSION "${GIT_VERSION}")
exec_program("git --git-dir=${PROJECT_DIRECTORY}/.git log -n 1 --format=%ai ." OUTPUT_VARIABLE "GIT_DATE")
exec_program("git svn info" ${PROJECT_DIRECTORY} OUTPUT_VARIABLE "GIT_SVN_VERSION")
+
+ string(REGEX REPLACE " .*" "" GIT_VERSION "${GIT_VERSION}")
string(REPLACE "\n" ";" GIT_SVN_VERSION ${GIT_SVN_VERSION})
STRING(REPLACE " +0000" "" GIT_DATE ${GIT_DATE})
STRING(REPLACE " " "~" GIT_DATE ${GIT_DATE})
configure_file("${PROJECT_DIRECTORY}/buildtools/Cmake/tracing_config.h.in" "${PROJECT_DIRECTORY}/include/instr/tracing_config.h" @ONLY IMMEDIATE)
configure_file("${PROJECT_DIRECTORY}/include/instr/tracing_config.h" "${PROJECT_DIRECTORY}/include/instr/tracing_config.h" @ONLY IMMEDIATE)
-if(NOT prefix)
- set(prefix /usr/local)
-endif(NOT prefix)
-
set(top_srcdir "${PROJECT_DIRECTORY}")
set(srcdir "${PROJECT_DIRECTORY}/src")