Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

flintxx folder not installed when using cmake? #1405

Closed
bjodah opened this issue Jun 8, 2023 · 1 comment
Closed

flintxx folder not installed when using cmake? #1405

bjodah opened this issue Jun 8, 2023 · 1 comment

Comments

@bjodah
Copy link

bjodah commented Jun 8, 2023

I was trying to build a 3rd party package which includes "flintxx/evaluation_tools.h", looks like I built and installed flint2 using cmake instead of the autotools scripts. Perhaps autotools is still the preferred method? (I didn't see the equivalent of --enable-cxx=yes among the options in the CMakeLists.txt)

EDIT: I think this is the relevant line in Makefile.in
https://github.com/flintlib/flint2/blob/17536724734a3a2a7edb8fd011336b3690dcebf7/Makefile.in#L762

I'm not very well versed in CMake, but I think something along these lines might work:

file(GLOB FLINT_CXX_HEADERS RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}/src/ flintxx/*.h)
file(GLOB FLINT_CXX_HEADERS_PUBLIC RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}/src/flintxx_public/ *xx.h)
target_sources(flint PUBLIC FILE_SET HEADERS
    BASE_DIRS ${CMAKE_CURRENT_SOURCE_DIR}/src
    FILES
    ${FLINT_CXX_HEADERS}
)
target_sources(flint PUBLIC FILE_SET HEADERS
    BASE_DIRS ${CMAKE_CURRENT_SOURCE_DIR}/src/flintxx_public
    FILES
    ${FLINT_CXX_HEADERS_PUBLIC}
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants