Auto-generate monolithic_build configuration

willieyz · willieyz · commit 639d632e667c · 2025-11-03T21:03:51.000+08:00
Signed-off-by: willieyz &lt;willie.zhao@chelpis.com&gt;
diff --git a/examples/monolithic_build/config_44.h b/examples/monolithic_build/config_44.h
@@ -17,6 +17,23 @@
  *   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
+ */
+
+
 #ifndef MLD_CONFIG_H
 #define MLD_CONFIG_H
 
@@ -98,7 +115,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
@@ -110,6 +127,7 @@
  *              on the command line.
  *
  *****************************************************************************/
+/* No need to set this -- we _are_ already in a custom config */
 /* #define MLD_CONFIG_FILE "config.h" */
 
 /******************************************************************************
@@ -158,7 +176,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).
  *
  *****************************************************************************/
@@ -174,7 +192,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).
  *
  *****************************************************************************/
diff --git a/examples/monolithic_build/config_65.h b/examples/monolithic_build/config_65.h
@@ -17,6 +17,23 @@
  *   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
+ */
+
+
 #ifndef MLD_CONFIG_H
 #define MLD_CONFIG_H
 
@@ -98,7 +115,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
@@ -110,6 +127,7 @@
  *              on the command line.
  *
  *****************************************************************************/
+/* No need to set this -- we _are_ already in a custom config */
 /* #define MLD_CONFIG_FILE "config.h" */
 
 /******************************************************************************
@@ -158,7 +176,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).
  *
  *****************************************************************************/
@@ -174,7 +192,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).
  *
  *****************************************************************************/
diff --git a/examples/monolithic_build/config_87.h b/examples/monolithic_build/config_87.h
@@ -17,6 +17,23 @@
  *   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
+ */
+
+
 #ifndef MLD_CONFIG_H
 #define MLD_CONFIG_H
 
@@ -98,7 +115,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
@@ -110,6 +127,7 @@
  *              on the command line.
  *
  *****************************************************************************/
+/* No need to set this -- we _are_ already in a custom config */
 /* #define MLD_CONFIG_FILE "config.h" */
 
 /******************************************************************************
@@ -158,7 +176,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).
  *
  *****************************************************************************/
@@ -174,7 +192,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).
  *
  *****************************************************************************/
diff --git a/test/configs.yml b/test/configs.yml
@@ -163,3 +163,26 @@ 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_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_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_FILE:
+        comment: "/* No need to set this -- we _are_ already in a custom config */"
