Examples: Set MLK_CONFIG_NO_SUPERCOP for multilevel builds

Multilevel builds require MLK_CONFIG_NO_SUPERCOP since the SUPERCOP
naming convention (crypto_kem_xxx) does not disambiguate between
parameter sets.

Add MLK_CONFIG_NO_SUPERCOP to all multilevel build configs and
propagate it to the API layer in the legacy config path.

This also fixes problem with mlkem_native.h: On multiple inclusions of
mlkem_native.h without NO_SUPERCOP set, mlkem_native.h would not undef the
API_CONFIG macros in the end of the file causing the second inclusion of
mlkem_native.h to set the LEGACY_CONFIG option.

 - Ported from pq-code-package/mldsa-native#869

Signed-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>

Author: mkannwischer

examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h

@@ -29,6 +29,7 @@
  *
  * This configuration differs from the default mlkem/mlkem_native_config.h in
  * the following places:
+ *   - MLK_CONFIG_NO_SUPERCOP
  *   - MLK_CONFIG_MULTILEVEL_BUILD
  *   - MLK_CONFIG_NAMESPACE_PREFIX
  *   - MLK_CONFIG_INTERNAL_API_QUALIFIER
@@ -156,7 +157,7 @@
  *              naming does not disambiguate between the parameter sets.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_NO_SUPERCOP */
+#define MLK_CONFIG_NO_SUPERCOP
 
 /******************************************************************************
  * Name:        MLK_CONFIG_CONSTANTS_ONLY

examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h

@@ -29,6 +29,7 @@
  *
  * This configuration differs from the default mlkem/mlkem_native_config.h in
  * the following places:
+ *   - MLK_CONFIG_NO_SUPERCOP
  *   - MLK_CONFIG_MULTILEVEL_BUILD
  *   - MLK_CONFIG_NAMESPACE_PREFIX
  *   - MLK_CONFIG_USE_NATIVE_BACKEND_ARITH
@@ -160,7 +161,7 @@
  *              naming does not disambiguate between the parameter sets.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_NO_SUPERCOP */
+#define MLK_CONFIG_NO_SUPERCOP
 
 /******************************************************************************
  * Name:        MLK_CONFIG_CONSTANTS_ONLY

examples/multilevel_build/mlkem_native/mlkem_native_config.h

@@ -29,6 +29,7 @@
  *
  * This configuration differs from the default mlkem/mlkem_native_config.h in
  * the following places:
+ *   - MLK_CONFIG_NO_SUPERCOP
  *   - MLK_CONFIG_MULTILEVEL_BUILD
  *   - MLK_CONFIG_NAMESPACE_PREFIX
  */
@@ -155,7 +156,7 @@
  *              naming does not disambiguate between the parameter sets.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_NO_SUPERCOP */
+#define MLK_CONFIG_NO_SUPERCOP
 
 /******************************************************************************
  * Name:        MLK_CONFIG_CONSTANTS_ONLY

examples/multilevel_build_native/mlkem_native/mlkem_native_config.h

@@ -29,6 +29,7 @@
  *
  * This configuration differs from the default mlkem/mlkem_native_config.h in
  * the following places:
+ *   - MLK_CONFIG_NO_SUPERCOP
  *   - MLK_CONFIG_MULTILEVEL_BUILD
  *   - MLK_CONFIG_NAMESPACE_PREFIX
  *   - MLK_CONFIG_USE_NATIVE_BACKEND_ARITH
@@ -157,7 +158,7 @@
  *              naming does not disambiguate between the parameter sets.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_NO_SUPERCOP */
+#define MLK_CONFIG_NO_SUPERCOP
 
 /******************************************************************************
  * Name:        MLK_CONFIG_CONSTANTS_ONLY

test/configs/configs.yml

@@ -301,6 +301,7 @@ configs:
   - path: examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h
     description: "Multilevel monolithic build config"
     defines:
+      MLK_CONFIG_NO_SUPERCOP: true
       MLK_CONFIG_MULTILEVEL_BUILD: true
       MLK_CONFIG_NAMESPACE_PREFIX: mlkem
       MLK_CONFIG_INTERNAL_API_QUALIFIER: static
@@ -310,6 +311,7 @@ configs:
   - path: examples/multilevel_build/mlkem_native/mlkem_native_config.h
     description: "Multilevel build config"
     defines:
+      MLK_CONFIG_NO_SUPERCOP: true
       MLK_CONFIG_MULTILEVEL_BUILD: true
       MLK_CONFIG_NAMESPACE_PREFIX: mlkem
       MLK_CONFIG_FILE:
@@ -318,6 +320,7 @@ configs:
   - path: examples/multilevel_build_native/mlkem_native/mlkem_native_config.h
     description: "Multilevel build config"
     defines:
+      MLK_CONFIG_NO_SUPERCOP: true
       MLK_CONFIG_MULTILEVEL_BUILD: true
       MLK_CONFIG_NAMESPACE_PREFIX: mlkem
       MLK_CONFIG_USE_NATIVE_BACKEND_ARITH: true
@@ -328,6 +331,7 @@ configs:
   - path: examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h
     description: "Multilevel monolithic build config with native backends"
     defines:
+      MLK_CONFIG_NO_SUPERCOP: true
       MLK_CONFIG_MULTILEVEL_BUILD: true
       MLK_CONFIG_NAMESPACE_PREFIX: mlkem
       MLK_CONFIG_USE_NATIVE_BACKEND_ARITH: true