cmake_minimum_required(VERSION 3.7)
PROJECT(BDD)

SET(CMAKE_CXX_STANDARD 14)
SET(CMAKE_CXX_COMPILER "g++")

LINK_LIBRARIES(/usr/local/lib/libcudd.a /usr/local/lib/libsylvan.dylib)
SET(SOURCE_FILES cudd/bvec_cudd.cpp sylvan/bvec_sylvan.cpp tests/helpers.cpp)

ADD_EXECUTABLE(bdd ${SOURCE_FILES} bdd.cpp buddy/buddy_wrapper.cpp)
ADD_EXECUTABLE(bdd_template abstractBvec/templateExample.cpp)
ADD_EXECUTABLE(unit_tests ${SOURCE_FILES} tests/unit_tests.cpp tests/main.cpp buddy/buddy_wrapper.cpp)
ADD_EXECUTABLE(template_tests ${SOURCE_FILES} tests/template_tests.cpp tests/main.cpp buddy/buddy_wrapper.cpp)
ADD_EXECUTABLE(validation_tests ${SOURCE_FILES} tests/validation_tests.cpp tests/main.cpp buddy/buddy_wrapper.cpp)
ADD_EXECUTABLE(parser parser.cpp)

TARGET_LINK_LIBRARIES(bdd /usr/local/lib/libbdd.a)
TARGET_LINK_LIBRARIES(bdd_template /usr/local/lib/libbdd.a)
TARGET_LINK_LIBRARIES(unit_tests /usr/local/lib/libbdd.a)
TARGET_LINK_LIBRARIES(template_tests /usr/local/lib/libbdd.a)
TARGET_LINK_LIBRARIES(validation_tests /usr/local/lib/libbdd.a)
