org.eclipse.efm.symbex/cmake/SpecificOptions-Linux.cmake

# =============================================================================
#                 Setup of Native Linux specific options
# =============================================================================
#
#
# =============================================================================


message (STATUS "****** Setting options for Linux/GCC ******")

# Compilation directives
add_definitions     (-D__AVM_UNIX__ -D__AVM_LINUX__)
add_compile_options (-fmessage-length=0 -pipe)


SET( CMAKE_EXE_LINKER_FLAGS  "${CMAKE_EXE_LINKER_FLAGS} -lrt" )
message(" .............................. CMAKE_EXE_LINKER_FLAGS ${CMAKE_EXE_LINKER_FLAGS}")


#set(Boost_USE_MULTITHREADED OFF)
#message(" .............................. Boost_USE_MULTITHREADED ${Boost_USE_MULTITHREADED}")






# The following variables are first used as search hints by find modules. 
# If search failed, they are used by the build modules 

# Local configuration
#set (SYMBEX_INSTALL_DIR        /usr/local)

# HIPP (Hudson) configuration
set (SYMBEX_INSTALL_DIR         ${CMAKE_BINARY_DIR}/workswith)


set (SYMBEX_INSTALL_INCLUDE_DIR ${SYMBEX_INSTALL_DIR}/include)
set (SYMBEX_INSTALL_LIB_DIR     ${SYMBEX_INSTALL_DIR}/lib)


set (CVC4_INSTALL_DIR           ${SYMBEX_INSTALL_DIR})
set (CVC4_INSTALL_INCLUDE_DIR   ${SYMBEX_INSTALL_INCLUDE_DIR})
set (CVC4_INSTALL_LIB_DIR       ${SYMBEX_INSTALL_LIB_DIR})

# NOTE: 'antlr2' suffix is automatically added by the configure script
set (ANTLR2_INSTALL_DIR         ${SYMBEX_INSTALL_DIR})
set (ANTLR2_INSTALL_INCLUDE_DIR ${SYMBEX_INSTALL_INCLUDE_DIR})
set (ANTLR2_INSTALL_LIB_DIR     ${SYMBEX_INSTALL_LIB_DIR})

# NOTE: 'antlr3c' suffix is not automatically added by the configure script
set (ANTLR3_INSTALL_DIR         ${SYMBEX_INSTALL_DIR})
set (ANTLR3_INSTALL_INCLUDE_DIR ${SYMBEX_INSTALL_INCLUDE_DIR}/antlr3c)
set (ANTLR3_INSTALL_LIB_DIR     ${SYMBEX_INSTALL_LIB_DIR})


set (BOOST_ROOT /usr) # instead of /usr/local

set (BOOST_INCLUDEDIR           ${BOOST_ROOT}/include/boost)
#set (BOOST_INCLUDE_DIRS        ${BOOST_ROOT}/include)
#set (BOOST_LIBRARYDIR          ${BOOST_ROOT}/lib)
set (BOOST_LIBRARYDIR           /usr/lib/x86_64-linux-gnu/)

#set (BOOST_ROOT                 /home/diversitytest/boost_1_61_0)
#set (BOOST_INCLUDEDIR           /home/diversitytest/boost_1_61_0/boost)
#set (BOOST_LIBRARYDIR           /home/diversitytest/boost_1_61_0/libs)



set (GMP_ROOT /usr)  # instead of /usr/local

set (GMP_INCLUDEDIR ${GMP_ROOT}/include)
set (GMP_LIBRARYDIR ${GMP_ROOT}/lib)

include_directories (${CVC4_INSTALL_INCLUDE_DIR} ${ANTLR2_INSTALL_INCLUDE_DIR} ${ANTLR3_INSTALL_INCLUDE_DIR} ${BOOST_INCLUDEDIR})