File Metadata

Created: Thu, Jul 9, 5:47 AM

CMakeLists.txt
View Options

	cmake_minimum_required(VERSION 2.8.11)
	project(xreate)
	find_package(LLVM REQUIRED CONFIG)

	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}")
	#find_package(Clang REQUIRED clangTooling libClang)

	set(CMAKE_BUILD_TYPE Debug)
	set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++14 -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS")

	set(POTASSCO_PATH "/opt/potassco/gringo" CACHE PATH "Path to gringo sources")
	set (LIBCLASP_PATH ${POTASSCO_PATH}/build/debug)
	link_directories(${LIBCLASP_PATH})

	FILE (GLOB TEST_FILES ./tests/*.cpp)
	message("TEST: " ${TEST_FILES})
	set(SOURCE_FILES
	${TEST_FILES}

	./src/ast.cpp
	./src/llvmlayer.cpp ./src/clasplayer.cpp
	#./src/main.cpp

	./src/utils.cpp
	./src/passmanager.cpp
	./src/pass/abstractpass.cpp ./src/pass/dfgpass.cpp ./src/pass/compilepass.cpp
	./src/pass/cfgpass.cpp
	./src/pass/logging.cpp
	#./src/pass/rulespass.cpp

	./src/instructions/instr-containers.cpp
	./src/query/containers.cpp
	./src/query/ptrvalid.cpp
	./src/attachments.cpp

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

	set(COCO_PATH ${CMAKE_HOME_DIRECTORY}/../coco/)
	set(COCO_SOURCE_FILES
	${COCO_PATH}/Parser.h
	${COCO_PATH}/Scanner.h
	${COCO_PATH}/Parser.cpp
	${COCO_PATH}/Scanner.cpp
	)



	INCLUDE_DIRECTORIES(${LLVM_INCLUDE_DIRS})
	INCLUDE_DIRECTORIES("/usr/include/libxml2")
	INCLUDE_DIRECTORIES(${COCO_PATH} ./src)
	INCLUDE_DIRECTORIES(${POTASSCO_PATH}/libgringo
	${POTASSCO_PATH}/libclasp
	${POTASSCO_PATH}/libclingo
	${POTASSCO_PATH}/libprogram_opts
	)

	include_directories(${CMAKE_HOME_DIRECTORY}/../vendors/jeayeson/include/)

	#execute_process(COMMAND ${COCO_PATH}/gen-xreate WORKING_DIRECTORY OUTPUT_VARIABLE COCO_OUTPUT)


	message(STATUS "COCO GRAMMAR BUILD STATUS:" ${COCO_OUTPUT})

	include_directories(${LLVM_INCLUDE_DIRS})
	add_definitions(${LLVM_DEFINITIONS})

	add_executable(xreate ${SOURCE_FILES} ${COCO_SOURCE_FILES} tests/testLibXml2.cpp src/ExternLayer.cpp src/ExternLayer.h)

	set(COCO_TARGET grammar)

	add_custom_target(${COCO_TARGET}
	WORKING_DIRECTORY ${COCO_PATH}
	)

	add_custom_command(TARGET ${COCO_TARGET}
	PRE_BUILD
	COMMAND ${COCO_PATH}/gen-grammar
	WORKING_DIRECTORY ${COCO_PATH}
	)

	add_custom_target (coverage
	COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/src/code-coverage.sh
	WORKING_DIRECTORY ${CMAKE_BINARY_DIR})

	message(STATUS "BINARY DIR" ${CMAKE_BINARY_DIR})

	#add_dependencies(${PROJECT_NAME} coverageTarget)

	llvm_map_components_to_libnames(llvm_libs support core irreader all native nativecodegen)
	message(STATUS "LLVM LIBS: " ${llvm_libs})

	set(LIBCLASP_LIBS
	clingo
	clasp
	gringo
	program_opts
	reify
	)

	message(STATUS "CLANG LIBS: " ${CLANG_LIBS})
	message(STATUS "CLASP LIBS: " ${LIBCLASP_LIBS})



	add_definitions(-DWITH_THREADS=0)

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


	find_package(GTest REQUIRED)
	INCLUDE_DIRECTORIES(${GTEST_INCLUDE_DIRS})

	# -fprofile-arcs -ftest-coverage -O0
	set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -g -Wall")

	set(CLANG_LIBS
	clangCodeGen
	clangASTMatchers
	clangQuery
	clangTooling
	clangFrontend
	clangSerialization
	clangDriver
	clangParse
	clangSema
	clangAnalysis
	clangAST
	clangEdit
	clangLex
	clangBasic
	)


	target_link_libraries(xreate ${GTEST_LIBRARIES} LLVM-${LLVM_VERSION} ${LIBCLASP_LIBS} ${CLANG_LIBS} pthread xml2 gcov tbb)

CMakeLists.txt
No OneTemporary
Actions

File Metadata

CMakeLists.txt
View Options

Event Timeline

CMakeLists.txtNo OneTemporaryActions

File Metadata

CMakeLists.txtView Options

Event Timeline

CMakeLists.txt
No OneTemporary
Actions

CMakeLists.txt
View Options