if(WITH_CLASP)
	file(GLOB GRINGO_SRC *.cpp program_opts/*.cpp)
	include_directories (${clingof_SOURCE_DIR}/lib/gringo/include ../lib ${clingof_BINARY_DIR}/lib/gringo/config)
else(WITH_CLASP)
	file(GLOB GRINGO_SRC main.cpp options.cpp timer.cpp program_opts/*.cpp)
	include_directories (${clingof_SOURCE_DIR}/lib/gringo/include ${clingof_BINARY_DIR}/lib/gringo/config)
endif(WITH_CLASP)

add_executable (gringo-app ${GRINGO_SRC})

if (WITH_ICLASP)
	target_link_libraries (gringo-app gringo-lib clasp-lib)
	set_target_properties(gringo-app PROPERTIES OUTPUT_NAME iclingo)
else (WITH_ICLASP)
	if(WITH_CLASP)
		target_link_libraries (gringo-app gringo-lib clasp-lib)
		set_target_properties(gringo-app PROPERTIES OUTPUT_NAME clingof)
	else(WITH_CLASP)
		target_link_libraries (gringo-app gringo-lib)
		set_target_properties(gringo-app PROPERTIES OUTPUT_NAME gringo)
	endif(WITH_CLASP)
endif(WITH_ICLASP)

