Auto-generate monolithic_build_multilevel configuration

Signed-off-by: willieyz <[email protected]>

Author: willieyz

examples/monolithic_build_multilevel/multilevel_config.h

@@ -17,6 +17,21 @@
  *   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
+ */
+
+
 #ifndef MLD_CONFIG_H
 #define MLD_CONFIG_H
 
@@ -50,9 +65,7 @@
  *              This can also be set using CFLAGS.
  *
  *****************************************************************************/
-#if !defined(MLD_CONFIG_NAMESPACE_PREFIX)
 #define MLD_CONFIG_NAMESPACE_PREFIX mldsa
-#endif
 
 /******************************************************************************
  * Name:        MLD_CONFIG_MULTILEVEL_WITH_SHARED
@@ -103,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
@@ -115,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" */
 
 /******************************************************************************
@@ -163,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).
  *
  *****************************************************************************/
@@ -179,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).
  *
  *****************************************************************************/

test/configs.yml

@@ -186,3 +186,10 @@ configs:
       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_multilevel/multilevel_config.h
+    description: "Multilevel monolithic build config"
+    defines:
+      MLD_CONFIG_NAMESPACE_PREFIX: mldsa
+      MLD_CONFIG_FILE:
+        comment: "/* No need to set this -- we _are_ already in a custom config */"