if (NOT HOPS_LIBRARY_TYPE STREQUAL "HEADER_ONLY")
    target_sources(hops PRIVATE RandomNumberGenerator.hpp)
endif (NOT HOPS_LIBRARY_TYPE STREQUAL "HEADER_ONLY")
