#set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11")
# Builing of dependent libraries



set(SOURCE_FILES
        src/conts.h
        src/search.h
        src/boolean_function.h
        src/search_method_core.h
        src/boolean_function.cpp
        src/search_node.cpp
        src/search_space.cpp
        src/search_tree.cpp
        src/search_method_core.cpp
        approx_common/truth_table.cpp)


#list(APPEND SOURCE_FILES src/boolean_function.h
                        # )


add_subdirectory(testcase)

# The default target
#add_executable(approxiamate ${SOURCE_FILES})

add_library(approx ${SOURCE_FILES})

target_include_directories(approx BEFORE
        PRIVATE approx_common/)