cmake_minimum_required(VERSION 2.8.11)
project(xreate)
cmake_policy(SET CMP0022 NEW)

#       BUILD OPTIONS
#======================
set(XREATE_DEFINITIONS
    -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -DWITH_THREADS=1
)

add_definitions(${XREATE_DEFINITIONS})
add_compile_options(-Winvalid-pch -std=c++14 -fPIC)



#       LLVM
#======================
find_package(LLVM REQUIRED CONFIG)
set (CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/cmake-tools")
include(PCH_GCC4_v2)

set(LLVM_VERSION ${LLVM_VERSION_MAJOR}.${LLVM_VERSION_MINOR})

link_directories(${LLVM_LIBRARY_DIRS})

set(CMAKE_MODULE_PATH ${CMAKE_CURRENT_LIST_DIR})
message ("MPATH:" ${CMAKE_MODULE_PATH})

message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
INCLUDE_DIRECTORIES(${LLVM_INCLUDE_DIRS})
message("LLVM defs: " ${LLVM_DEFINITIONS})
add_definitions(${LLVM_DEFINITIONS})
#llvm_map_components_to_libnames(llvm_libs support core irreader all native nativecodegen)



#       CLANG
#======================
set(CLANG_LIBS
  clangCodeGen
  clangASTMatchers
  clangQuery
  clangTooling
  clangFrontend
  clangSerialization
  clangDriver
  clangParse
  clangSema
  clangAnalysis
  clangAST
  clangEdit
  clangLex
  clangBasic
)
#find_package(Clang REQUIRED clangTooling libClang)
message(STATUS "CLANG LIBS: " ${CLANG_LIBS})



#       POTASSCO
#======================
set(POTASSCO_PATH "/opt/potassco/gringo" CACHE PATH "Path to gringo sources")
set(POTASSCO_INCLUDE_PATH
    ${POTASSCO_PATH}/libgringo
    ${POTASSCO_PATH}/libclasp
    ${POTASSCO_PATH}/libclingo
    ${POTASSCO_PATH}/libprogram_opts
)

INCLUDE_DIRECTORIES(${POTASSCO_INCLUDE_PATH})

set (LIBCLASP_PATH ${POTASSCO_PATH}/build/debug)

set(LIBCLASP_LIBS
    clingo
    clasp
    gringo
    program_opts
    reify
)
message(STATUS "CLASP LIBS: " ${LIBCLASP_LIBS})
link_directories(${LIBCLASP_PATH})



#       OTHER DEPENDENCIES
#===========================
set(JEAYESON_INCLUDE_PATH
    ${CMAKE_HOME_DIRECTORY}/../vendors/jeayeson/include/
)
INCLUDE_DIRECTORIES(${JEAYESON_INCLUDE_PATH})



#       COCO
#===========================
set(COCO_PATH ${CMAKE_HOME_DIRECTORY}/../coco/)
set(COCO_SOURCE_FILES  
  ${COCO_PATH}/Parser.cpp
  ${COCO_PATH}/Scanner.cpp
)

INCLUDE_DIRECTORIES(${COCO_PATH} ./src)
add_custom_command(OUTPUT COCO_OUTPUT
    COMMAND ${COCO_PATH}/gen-grammar
    WORKING_DIRECTORY ${COCO_PATH}
    DEPENDS ${COCO_PATH}/xreate.ATG
)
message(STATUS "COCO GRAMMAR BUILD STATUS:" ${COCO_OUTPUT})



#       XREATE
#======================
set(SOURCE_FILES
    pass/compilepass.cpp
    compilation/latecontextcompiler2.cpp
    #compilation/latecontextcompiler.cpp
    serialization/expressionserializer.cpp
    serialization/expressionserializer2.cpp
    query/context.cpp
    
     ast.cpp
    llvmlayer.cpp clasplayer.cpp

     utils.cpp
    passmanager.cpp
    
    pass/abstractpass.cpp pass/dfgpass.cpp 
    pass/cfgpass.cpp
    pass/loggerpass.cpp
    pass/adhocpass.cpp
    #pass/rulespass.cpp #

    compilation/instr-containers.cpp

    query/containers.cpp
    query/ptrvalid.cpp
    
    
    attachments.cpp
    contextrule.cpp
    ExternLayer.cpp 

    #${POTASSCO_PATH}/app/shared/src/clingocontrol.cc
    #${POTASSCO_PATH}/app/pyclingo/src/clingo_lib.cc
)

set(XREATE_INCLUDE_DIRS
    ${CMAKE_CURRENT_SOURCE_DIR}/
)

INCLUDE_DIRECTORIES(${XREATE_INCLUDE_DIRS})

set(XREATE_PRIVATE_INCLUDE_DIRS
    ${XREATE_INCLUDE_DIRS}
    ${COCO_PATH}
    ${JEAYESON_INCLUDE_PATH}
    ${LLVM_INCLUDE_DIRS}
    ${POTASSCO_INCLUDE_PATH}
)

add_library(${PROJECT_NAME} SHARED ${SOURCE_FILES} ${COCO_SOURCE_FILES} )
target_link_libraries(${PROJECT_NAME} ${LIBCLASP_LIBS}  ${CLANG_LIBS} tbb)


target_include_directories(${PROJECT_NAME} INTERFACE 
    ${XREATE_INCLUDE_DIRS}
    ${COCO_PATH}
    ${JEAYESON_INCLUDE_PATH}
    ${LLVM_INCLUDE_DIRS}
    ${POTASSCO_INCLUDE_PATH}
)

get_directory_property(DEFINITIONS_ALL DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} COMPILE_DEFINITIONS)
message("definitions all: " ${DEFINITIONS_ALL})
target_compile_definitions(${PROJECT_NAME} INTERFACE ${DEFINITIONS_ALL})

get_directory_property(COMPILATION_OPTIONS_ALL DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR} COMPILE_OPTIONS)
message("compilations all: " ${COMPILATION_OPTIONS_ALL})
target_compile_options(${PROJECT_NAME} INTERFACE ${COMPILATION_OPTIONS_ALL})

SET_TARGET_PROPERTIES(${PROJECT_NAME} PROPERTIES INTERFACE_LINK_LIBRARIES 
    LLVM-${LLVM_VERSION}
)

#set (LINK_INTERFACE_LIBRARIES "")

# FUNCTION(PREPEND var prefix)
#    SET(listVar "")
#    FOREACH(f ${ARGN})
#       LIST(APPEND listVar "${prefix}/${f}")
#    ENDFOREACH(f)
#    SET(${var} "${listVar}" PARENT_SCOPE)
# ENDFUNCTION(PREPEND)

#set(COTIRE_UNITY_SOURCE_MAXIMUM_NUMBER_OF_INCLUDES "-j4")
#cotire(xreate)


# MACRO (ADD_PCH_RULE  _header_filename _src_list)
# 	SET(_gch_filename "${_header_filename}.gch")
# 	LIST(APPEND ${_src_list} ${_gch_filename})
# 	SET (_args ${CMAKE_CXX_FLAGS})
# 	LIST(APPEND _args -c ${_header_filename} -o ${_gch_filename})
# 	GET_DIRECTORY_PROPERTY(DIRINC INCLUDE_DIRECTORIES)
# 	foreach (_inc ${DIRINC})
# 		LIST(APPEND _args "-I" ${_inc})
# 	endforeach(_inc ${DIRINC})
# 	SEPARATE_ARGUMENTS(_args)
# 	add_custom_command(OUTPUT ${_gch_filename}
# 		   COMMAND rm -f ${_gch_filename}
# 		   COMMAND ${CMAKE_CXX_COMPILER} ${CMAKE_CXX_COMPILER_ARG1} ${_args}
# 			    DEPENDS ${_header_filename})
# ENDMACRO(ADD_PCH_RULE _header_filename _src_list)

# ADD_PCH_RULE (${CMAKE_HOME_DIRECTORY}/src/ast.h SOURCE_FILES)
# ADD_PCH_RULE (${CMAKE_HOME_DIRECTORY}/src/llvmlayer.h SOURCE_FILES)
# ADD_PCH_RULE (${CMAKE_HOME_DIRECTORY}/src/clasplayer.h SOURCE_FILES)
# ADD_PCH_RULE (${CMAKE_HOME_DIRECTORY}/src/pass/abstractpass.h SOURCE_FILES)