add_library(dlplangenerator SHARED)

target_sources(dlplangenerator
    PRIVATE
        feature_generator.cpp
        feature_generator_data.cpp
        generator.cpp
        hash_tables/hash_table.cpp
        hash_tables/hash_table_murmur.cpp
        ../utils/logging.cpp
        ../utils/countdown_timer.cpp
        ../utils/sha-256.c
        ../utils/MurmurHash3.cpp
        ../utils/timer.cpp
        ../utils/system.cpp)
target_link_libraries(dlplangenerator dlplancore)

set(PUBLIC_HEADER_FILES
    include/dlplan/generator.h
    include/dlplan/pimpl.h)
set_target_properties(dlplangenerator PROPERTIES PUBLIC_HEADER "${PUBLIC_HEADER_FILES}")
