Remove CMAKE_BUILD_TYPE values that do not work when building Z3

p4lang / p4c

P4_16 reference compiler

https://p4.org/

Apache License 2.0

681 stars 445 forks source link

Closed jafingerhut closed 3 weeks ago

jafingerhut commented 3 weeks ago

The only values that work when Z3 is built, e.g. when ENABLE_TEST_TOOLS=ON is configured, are these, checked for by Z3 cmake:

Debug;Release;RelWithDebInfo;MinSizeRel

github-actions[bot] commented 3 weeks ago

A preview of this PR is available at:	Preview Link
📂 View the source code here:	View Source Code
🔧 Commit used for deployment:	5e150ba9a082cc0609535768ac8d3be58d378996

Note: Changes may take a few seconds to appear on GitHub Pages. Please refresh the page if you do not see the updates immediately.