Adjust mldsa/something to mldsa/src/something in configs/mldsa_native.h

mkannwischer · mkannwischer · commit 17a57ff6d510 · 2025-11-02T15:42:03.000+08:00
Signed-off-by: Matthias J. Kannwischer &lt;matthias@kannwischer.eu&gt;
diff --git a/mldsa/mldsa_native.h b/mldsa/mldsa_native.h
@@ -69,7 +69,7 @@
 /******************************* Key sizes ************************************/
 
 /* Sizes of cryptographic material, per parameter set */
-/* See mldsa/params.h for the arithmetic expressions giving rise to these */
+/* See mldsa/src/params.h for the arithmetic expressions giving rise to these */
 /* check-magic: off */
 #define MLDSA44_SECRETKEYBYTES 2560
 #define MLDSA44_PUBLICKEYBYTES 1312
diff --git a/mldsa/src/config.h b/mldsa/src/config.h
@@ -103,7 +103,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
@@ -163,7 +163,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 +179,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/break_pct_config.h b/test/break_pct_config.h
@@ -119,7 +119,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
@@ -179,7 +179,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).
  *
  *****************************************************************************/
@@ -195,7 +195,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/custom_memcpy_config.h b/test/custom_memcpy_config.h
@@ -118,7 +118,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
@@ -178,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).
  *
  *****************************************************************************/
@@ -194,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).
  *
  *****************************************************************************/
diff --git a/test/custom_memset_config.h b/test/custom_memset_config.h
@@ -118,7 +118,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
@@ -178,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).
  *
  *****************************************************************************/
@@ -194,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).
  *
  *****************************************************************************/
diff --git a/test/custom_randombytes_config.h b/test/custom_randombytes_config.h
@@ -118,7 +118,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
@@ -178,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).
  *
  *****************************************************************************/
@@ -194,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).
  *
  *****************************************************************************/
diff --git a/test/custom_stdlib_config.h b/test/custom_stdlib_config.h
@@ -119,7 +119,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
@@ -179,7 +179,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).
  *
  *****************************************************************************/
@@ -195,7 +195,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/custom_zeroize_config.h b/test/custom_zeroize_config.h
@@ -118,7 +118,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
@@ -178,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).
  *
  *****************************************************************************/
@@ -194,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).
  *
  *****************************************************************************/
diff --git a/test/no_asm_config.h b/test/no_asm_config.h
@@ -119,7 +119,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
@@ -179,7 +179,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).
  *
  *****************************************************************************/
@@ -195,7 +195,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).
  *
  *****************************************************************************/

Original file line number	Diff line number	Diff line change
`@@ -103,7 +103,7 @@`
`103`	`103`	`* Name: MLD_CONFIG_FILE`
`104`	`104`	`*`
`105`	`105`	`* Description: If defined, this is a header that will be included instead`
`106`		`- * of the default configuration file mldsa/config.h.`
	`106`	`+ * of the default configuration file mldsa/src/config.h.`
`107`	`107`	`*`
`108`	`108`	`* When you need to build mldsa-native in multiple configurations,`
`109`	`109`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -163,7 +163,7 @@`
`163`	`163`	`* with mldsa-native.`
`164`	`164`	`*`
`165`	`165`	`* If set, it must be the name of a file serving as the`
`166`		`- * replacement for mldsa/fips202/fips202.h, and exposing`
	`166`	`+ * replacement for mldsa/src/fips202/fips202.h, and exposing`
`167`	`167`	`* the same API (see FIPS202.md).`
`168`	`168`	`*`
`169`	`169`	`*****************************************************************************/`
`@@ -179,7 +179,7 @@`
`179`	`179`	`* with mldsa-native.`
`180`	`180`	`*`
`181`	`181`	`* If set, it must be the name of a file serving as the`
`182`		`- * replacement for mldsa/fips202/fips202x4.h, and exposing`
	`182`	`+ * replacement for mldsa/src/fips202/fips202x4.h, and exposing`
`183`	`183`	`* the same API (see FIPS202.md).`
`184`	`184`	`*`
`185`	`185`	`*****************************************************************************/`
Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@`
`119`	`119`	`* Name: MLD_CONFIG_FILE`
`120`	`120`	`*`
`121`	`121`	`* Description: If defined, this is a header that will be included instead`
`122`		`- * of the default configuration file mldsa/config.h.`
	`122`	`+ * of the default configuration file mldsa/src/config.h.`
`123`	`123`	`*`
`124`	`124`	`* When you need to build mldsa-native in multiple configurations,`
`125`	`125`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -179,7 +179,7 @@`
`179`	`179`	`* with mldsa-native.`
`180`	`180`	`*`
`181`	`181`	`* If set, it must be the name of a file serving as the`
`182`		`- * replacement for mldsa/fips202/fips202.h, and exposing`
	`182`	`+ * replacement for mldsa/src/fips202/fips202.h, and exposing`
`183`	`183`	`* the same API (see FIPS202.md).`
`184`	`184`	`*`
`185`	`185`	`*****************************************************************************/`
`@@ -195,7 +195,7 @@`
`195`	`195`	`* with mldsa-native.`
`196`	`196`	`*`
`197`	`197`	`* If set, it must be the name of a file serving as the`
`198`		`- * replacement for mldsa/fips202/fips202x4.h, and exposing`
	`198`	`+ * replacement for mldsa/src/fips202/fips202x4.h, and exposing`
`199`	`199`	`* the same API (see FIPS202.md).`
`200`	`200`	`*`
`201`	`201`	`*****************************************************************************/`
Original file line number	Diff line number	Diff line change
`@@ -118,7 +118,7 @@`
`118`	`118`	`* Name: MLD_CONFIG_FILE`
`119`	`119`	`*`
`120`	`120`	`* Description: If defined, this is a header that will be included instead`
`121`		`- * of the default configuration file mldsa/config.h.`
	`121`	`+ * of the default configuration file mldsa/src/config.h.`
`122`	`122`	`*`
`123`	`123`	`* When you need to build mldsa-native in multiple configurations,`
`124`	`124`	`* using varying MLD_CONFIG_FILE can be more convenient`
`@@ -178,7 +178,7 @@`
`178`	`178`	`* with mldsa-native.`
`179`	`179`	`*`
`180`	`180`	`* If set, it must be the name of a file serving as the`
`181`		`- * replacement for mldsa/fips202/fips202.h, and exposing`
	`181`	`+ * replacement for mldsa/src/fips202/fips202.h, and exposing`
`182`	`182`	`* the same API (see FIPS202.md).`
`183`	`183`	`*`
`184`	`184`	`*****************************************************************************/`
`@@ -194,7 +194,7 @@`
`194`	`194`	`* with mldsa-native.`
`195`	`195`	`*`
`196`	`196`	`* If set, it must be the name of a file serving as the`
`197`		`- * replacement for mldsa/fips202/fips202x4.h, and exposing`
	`197`	`+ * replacement for mldsa/src/fips202/fips202x4.h, and exposing`
`198`	`198`	`* the same API (see FIPS202.md).`
`199`	`199`	`*`
`200`	`200`	`*****************************************************************************/`