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

Add NINJA_USE_SYSTEM_RE2C Option #2346

Closed
wants to merge 1 commit into from
Closed

Add NINJA_USE_SYSTEM_RE2C Option #2346

wants to merge 1 commit into from

Conversation

sunshaoce
Copy link
Contributor

In some systems, the provided version of re2c is too low to build the latest release, so an option needs to be provided. For example, on CentOS7, the re2c version is re2c 0.14.3.

@jhasse
Copy link
Collaborator

jhasse commented Oct 17, 2023

I would prefer that we check the version of re2c and automatically use it if high enough. We could use https://github.com/potassco/aspcud/blob/master/cmake/FindRE2C.cmake as a reference

@jhasse jhasse closed this Oct 17, 2023
@sunshaoce sunshaoce deleted the DISABLE_SYSTEM_RE2C branch October 18, 2023 02:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants