project(msatexamples)

set(MSAT_INCLUDE_DIR "" CACHE PATH "include dir")
set(MSAT_LIB_DIR "" CACHE PATH "lib dir")

set(GMP_INCLUDE_DIR "" CACHE PATH "GMP dir")
set(GMP_LIB_DIR "" CACHE PATH "GMP lib dir")

find_library(mathsat mathsat ${MSAT_LIB_DIR})
find_library(gmp gmp ${GMP_LIB_DIR})
find_library(gmpxx gmpxx ${GMP_LIB_DIR})

include_directories(${MSAT_INCLUDE_DIR} ${GMP_INCLUDE_DIR})
add_executable(api_example api_example.c)
target_link_libraries(api_example ${mathsat} ${gmpxx} ${gmp})
