# CMakeLists.txt for DelphinSolver

cmake_minimum_required(VERSION 2.6)

SET( CMAKE_VERBOSE_MAKEFILE ON )

ADD_DEFINITIONS( -DUSE_TI_XML )