Skip to content

Conversation

@mkannwischer
Copy link
Contributor

We usually pass arguments to make through environment variables: CFLAGS="-std=c11" make quickcheck

It currently does not work to pass it as a make argument: make quickcheck CFLAGS="-std=c11"

This commit fixes that and extends the C90 CI to test both variants.

I stapled on a cleanup of the Makefiles to align with mlkem-native

We usually pass arguments to make through environment variables:
CFLAGS="-std=c11" make quickcheck

It currently does not work to pass it as a make argument:
make quickcheck CFLAGS="-std=c11"

This commit fixes that and extends the C90 CI to test both variants.

Resolves #722

Signed-off-by: Matthias J. Kannwischer <[email protected]>
@mkannwischer mkannwischer marked this pull request as ready for review November 20, 2025 01:43
@mkannwischer mkannwischer requested a review from a team as a code owner November 20, 2025 01:43
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.

Passing CFLAGS as make argument results in KAT failure

2 participants