if(FALSE)
# Header files in here (only headers from this directory!)
set(carl_lib_core_headers
    Monomial.h
    MonomialPool.h
    Polynomial.h Polynomial.tpp
    PolynomialPolicy.h
    RealAlgebraicNumber.h
    RealAlgebraicNumberNR.h
    RealAlgebraicNumberIR.h
    RealAlgebraicNumberIR.tpp
    RealAlgebraicNumberOperations.h
    RealAlgebraicNumberSettings.h
    RealAlgebraicNumberEvaluation.h
    RealAlgebraicPoint.h
    UnivariatePolynomial.h
    UnivariatePolynomial.tpp
    MultivariateFactor.h
    MultivariateFactor.tpp
    MultivariatePolynomial.h
    MultivariatePolynomial.tpp
    VarExpPair.h
    Variable.h
    VariablePool.h
    initialize.h
    logging.h
    config.h
)
# Source files in here
set(carl_lib_core_sources
    core/logging.cpp
    core/Monomial.cpp
    core/MonomialPool.cpp
    core/Sign.cpp
    core/VariablePool.cpp
    core/Variable.cpp
PARENT_SCOPE)

# Write config.h
configure_file( ${CMAKE_SOURCE_DIR}/src/carl/core/config.h.in
    ${CMAKE_SOURCE_DIR}/src/carl/core/config.h
)

# Installation of header files
install(FILES			${carl_lib_core_headers}
    DESTINATION		include/carl/core
)
endif()
