Skip to content

Commit

Permalink
chang namespace checking directory for fips202
Browse files Browse the repository at this point in the history 
The build system is adjusted that fips202 object files is built in
`test/build/mlkemxxx/fips202`, therefore namespace checking directory is
updated accordingly

Signed-off-by: Thing-han, Lim <[email protected]>
  • Loading branch information
@potsrevennil @mkannwischer
potsrevennil authored and mkannwischer committed Nov 18, 2024
1 parent 8a3359e commit 0d321f5
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion scripts/ci/check-namespace
View file
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,9 @@ def run():
check_folder("test/build/mlkem512/mlkem", "PQCP_MLKEM_NATIVE_MLKEM512_")
check_folder("test/build/mlkem768/mlkem", "PQCP_MLKEM_NATIVE_MLKEM768_")
check_folder("test/build/mlkem1024/mlkem", "PQCP_MLKEM_NATIVE_MLKEM1024_")
check_folder("test/build/fips202", "PQCP_MLKEM_NATIVE_FIPS202_")
check_folder("test/build/mlkem512/fips202", "PQCP_MLKEM_NATIVE_FIPS202_")
check_folder("test/build/mlkem768/fips202", "PQCP_MLKEM_NATIVE_FIPS202_")
check_folder("test/build/mlkem1024/fips202", "PQCP_MLKEM_NATIVE_FIPS202_")

if __name__ == "__main__":
run()

0 comments on commit 0d321f5

Please sign in to comment.