Skip to content

Autogenerate example configs #599

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.

Sign up for GitHub

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

Merged
merged 2 commits into from
Nov 5, 2025
Merged

Autogenerate example configs #599

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
591b6b1
Auto-generate monolithic_build configuration
willieyz Nov 3, 2025
4344e42
Auto-generate monolithic_build_multilevel configuration
willieyz Nov 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 22 additions & 3 deletions examples/monolithic_build/config_44.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,24 @@
* https://csrc.nist.gov/pubs/fips/204/final
*/

/*
* WARNING: This file is auto-generated from scripts/autogen
* in the mldsa-native repository.
* Do not modify it directly.
*/

/*
* Test configuration: Monolithic build config for ML-DSA-44 (native backends
* disabled)
*
* This configuration differs from the default mldsa/src/config.h in the
* following places:
* - MLD_CONFIG_PARAMETER_SET
* - MLD_CONFIG_NAMESPACE_PREFIX
* - MLD_CONFIG_INTERNAL_API_QUALIFIER
*/


#ifndef MLD_CONFIG_H
#define MLD_CONFIG_H

Expand Down Expand Up @@ -98,7 +116,7 @@
* Name: MLD_CONFIG_FILE
*
* Description: If defined, this is a header that will be included instead
* of the default configuration file mldsa/config.h.
* of the default configuration file mldsa/src/config.h.
*
* When you need to build mldsa-native in multiple configurations,
* using varying MLD_CONFIG_FILE can be more convenient
Expand All @@ -110,6 +128,7 @@
* on the command line.
*
*****************************************************************************/
/* No need to set this -- we _are_ already in a custom config */
/* #define MLD_CONFIG_FILE "config.h" */

/******************************************************************************
Expand Down Expand Up @@ -158,7 +177,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202.h, and exposing
* replacement for mldsa/src/fips202/fips202.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand All @@ -174,7 +193,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202x4.h, and exposing
* replacement for mldsa/src/fips202/fips202x4.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand Down
25 changes: 22 additions & 3 deletions examples/monolithic_build/config_65.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,24 @@
* https://csrc.nist.gov/pubs/fips/204/final
*/

/*
* WARNING: This file is auto-generated from scripts/autogen
* in the mldsa-native repository.
* Do not modify it directly.
*/

/*
* Test configuration: Monolithic build config for ML-DSA-65 (native backends
* disabled)
*
* This configuration differs from the default mldsa/src/config.h in the
* following places:
* - MLD_CONFIG_PARAMETER_SET
* - MLD_CONFIG_NAMESPACE_PREFIX
* - MLD_CONFIG_INTERNAL_API_QUALIFIER
*/


#ifndef MLD_CONFIG_H
#define MLD_CONFIG_H

Expand Down Expand Up @@ -98,7 +116,7 @@
* Name: MLD_CONFIG_FILE
*
* Description: If defined, this is a header that will be included instead
* of the default configuration file mldsa/config.h.
* of the default configuration file mldsa/src/config.h.
*
* When you need to build mldsa-native in multiple configurations,
* using varying MLD_CONFIG_FILE can be more convenient
Expand All @@ -110,6 +128,7 @@
* on the command line.
*
*****************************************************************************/
/* No need to set this -- we _are_ already in a custom config */
/* #define MLD_CONFIG_FILE "config.h" */

/******************************************************************************
Expand Down Expand Up @@ -158,7 +177,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202.h, and exposing
* replacement for mldsa/src/fips202/fips202.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand All @@ -174,7 +193,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202x4.h, and exposing
* replacement for mldsa/src/fips202/fips202x4.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand Down
25 changes: 22 additions & 3 deletions examples/monolithic_build/config_87.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,24 @@
* https://csrc.nist.gov/pubs/fips/204/final
*/

/*
* WARNING: This file is auto-generated from scripts/autogen
* in the mldsa-native repository.
* Do not modify it directly.
*/

/*
* Test configuration: Monolithic build config for ML-DSA-87 (native backends
* disabled)
*
* This configuration differs from the default mldsa/src/config.h in the
* following places:
* - MLD_CONFIG_PARAMETER_SET
* - MLD_CONFIG_NAMESPACE_PREFIX
* - MLD_CONFIG_INTERNAL_API_QUALIFIER
*/


#ifndef MLD_CONFIG_H
#define MLD_CONFIG_H

Expand Down Expand Up @@ -98,7 +116,7 @@
* Name: MLD_CONFIG_FILE
*
* Description: If defined, this is a header that will be included instead
* of the default configuration file mldsa/config.h.
* of the default configuration file mldsa/src/config.h.
*
* When you need to build mldsa-native in multiple configurations,
* using varying MLD_CONFIG_FILE can be more convenient
Expand All @@ -110,6 +128,7 @@
* on the command line.
*
*****************************************************************************/
/* No need to set this -- we _are_ already in a custom config */
/* #define MLD_CONFIG_FILE "config.h" */

/******************************************************************************
Expand Down Expand Up @@ -158,7 +177,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202.h, and exposing
* replacement for mldsa/src/fips202/fips202.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand All @@ -174,7 +193,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202x4.h, and exposing
* replacement for mldsa/src/fips202/fips202x4.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand Down
23 changes: 20 additions & 3 deletions examples/monolithic_build_multilevel/multilevel_config.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,22 @@
* https://csrc.nist.gov/pubs/fips/204/final
*/

/*
* WARNING: This file is auto-generated from scripts/autogen
* in the mldsa-native repository.
* Do not modify it directly.
*/

/*
* Test configuration: Multilevel monolithic build config
*
* This configuration differs from the default mldsa/src/config.h in the
* following places:
* - MLD_CONFIG_NAMESPACE_PREFIX
* - MLD_CONFIG_INTERNAL_API_QUALIFIER
*/


#ifndef MLD_CONFIG_H
#define MLD_CONFIG_H

Expand Down Expand Up @@ -101,7 +117,7 @@
* Name: MLD_CONFIG_FILE
*
* Description: If defined, this is a header that will be included instead
* of the default configuration file mldsa/config.h.
* of the default configuration file mldsa/src/config.h.
*
* When you need to build mldsa-native in multiple configurations,
* using varying MLD_CONFIG_FILE can be more convenient
Expand All @@ -113,6 +129,7 @@
* on the command line.
*
*****************************************************************************/
/* No need to set this -- we _are_ already in a custom config */
/* #define MLD_CONFIG_FILE "config.h" */

/******************************************************************************
Expand Down Expand Up @@ -161,7 +178,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202.h, and exposing
* replacement for mldsa/src/fips202/fips202.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand All @@ -177,7 +194,7 @@
* with mldsa-native.
*
* If set, it must be the name of a file serving as the
* replacement for mldsa/fips202/fips202x4.h, and exposing
* replacement for mldsa/src/fips202/fips202x4.h, and exposing
* the same API (see FIPS202.md).
*
*****************************************************************************/
Expand Down
34 changes: 34 additions & 0 deletions test/configs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -163,3 +163,37 @@ configs:

# Example configs

- path: examples/monolithic_build/config_44.h
description: "Monolithic build config for ML-DSA-44 (native backends disabled)"
defines:
MLD_CONFIG_PARAMETER_SET: 44
MLD_CONFIG_NAMESPACE_PREFIX: mldsa
MLD_CONFIG_INTERNAL_API_QUALIFIER: static
MLD_CONFIG_FILE:
comment: "/* No need to set this -- we _are_ already in a custom config */"

- path: examples/monolithic_build/config_65.h
description: "Monolithic build config for ML-DSA-65 (native backends disabled)"
defines:
MLD_CONFIG_PARAMETER_SET: 65
MLD_CONFIG_NAMESPACE_PREFIX: mldsa
MLD_CONFIG_INTERNAL_API_QUALIFIER: static
MLD_CONFIG_FILE:
comment: "/* No need to set this -- we _are_ already in a custom config */"

- path: examples/monolithic_build/config_87.h
description: "Monolithic build config for ML-DSA-87 (native backends disabled)"
defines:
MLD_CONFIG_PARAMETER_SET: 87
MLD_CONFIG_NAMESPACE_PREFIX: mldsa
MLD_CONFIG_INTERNAL_API_QUALIFIER: static
MLD_CONFIG_FILE:
comment: "/* No need to set this -- we _are_ already in a custom config */"

- path: examples/monolithic_build_multilevel/multilevel_config.h
description: "Multilevel monolithic build config"
defines:
MLD_CONFIG_NAMESPACE_PREFIX: mldsa
MLD_CONFIG_INTERNAL_API_QUALIFIER: static
MLD_CONFIG_FILE:
comment: "/* No need to set this -- we _are_ already in a custom config */"