buildSingleHeader.cmake

# Copyright (c) 2018-present, Facebook, Inc.
#
# This source code is licensed under the Apache License found in the
# LICENSE file in the root directory of this source tree.

function(BuildSingleHeader HeaderName)
    set(header_files ${ARGN})
    # write out single-header
    file(READ "${CMAKE_CURRENT_SOURCE_DIR}/include/${HeaderName}-single-header.h" header)
    string(APPEND incls "${header}")

    foreach(f ${header_files})
        message("processing ${f}")
        file(READ ${f} contents)
        string(REGEX REPLACE "(([\t ]*#[\t ]*pragma[\t ]+once)|([\t ]*#[\t ]*include))" "//\\1" filtered "${contents}")
        string(APPEND incls "${filtered}")
    endforeach()

    file(READ "${CMAKE_CURRENT_SOURCE_DIR}/include/${HeaderName}-single-footer.h" footer)
    string(APPEND incls "${footer}")

    file(WRITE ${CMAKE_CURRENT_SOURCE_DIR}/include/${HeaderName}.h "${incls}")
endfunction()

set(header_files
    # keep in inclusion order
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/detail/concept_def.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/detail/if_constexpr.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/detail/functional.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/detail/opt.h"

    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/traits.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/forwards.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/extension_points.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/properties.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/concepts.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/boosters.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/executor.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/receiver.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/piping.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/trampoline.h"

    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/flow_single_sender.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/flow_many_sender.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/flow_receiver.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/single_sender.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/many_sender.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/inline.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/strand.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/new_thread.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/time_source.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/entangle.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/extension_operators.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/subject.h"

    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/submit.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/just.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/error.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/switch_on_error.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/for_each.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/via.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/empty.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/request_via.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/share.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/on.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/transform.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/schedule.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/defer.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/from.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/tap.h"
    "${CMAKE_CURRENT_SOURCE_DIR}/include/pushmi/o/filter.h"
)

BuildSingleHeader("pushmi" ${header_files})