Merge pull request #1249 from cryspen/keks/fix-mlkem-extract-script

Fix paths when copying to boring in ml-kem extract.sh

Author: keks

.github/workflows/mlkem-c.yml

@@ -238,11 +238,11 @@ jobs:
           cmake --build build
 
       - name: 🏃🏻‍♀️ Test
-        run: ./build/ml_kem_test
+        run: ./build/ml_kem_test768
         if: ${{ matrix.os != 'windows-latest' }}
 
       - name: 🏃🏻‍♀️ Test
-        run: ./build/Debug/ml_kem_test
+        run: ./build/Debug/ml_kem_test768
         if: ${{ matrix.os == 'windows-latest' }}
 
   build-cpp-header-only:
@@ -275,9 +275,9 @@ jobs:
           cmake --build build
 
       - name: 🏃🏻‍♀️ Test
-        run: ./build/ml_kem_test
+        run: ./build/ml_kem_test768
         if: ${{ matrix.os != 'windows-latest' }}
 
       - name: 🏃🏻‍♀️ Test
-        run: ./build/Debug/ml_kem_test
+        run: ./build/Debug/ml_kem_test768
         if: ${{ matrix.os == 'windows-latest' }}

libcrux-ml-kem/extracts/cpp_header_only/extract.sh

@@ -32,11 +32,11 @@ fi
 if [[ -n "$BORINGSSL_HOME" ]]; then
   echo "Copying the files into $BORINGSSL_HOME/third_party/libcrux/"
 
-  cp cg/libcrux_*.h $BORINGSSL_HOME/third_party/libcrux/
-  cp cg/code_gen.txt $BORINGSSL_HOME/third_party/libcrux/
-  cp -r cg/intrinsics $BORINGSSL_HOME/third_party/libcrux/
+  cp generated/libcrux_*.h $BORINGSSL_HOME/third_party/libcrux/
+  cp generated/code_gen.txt $BORINGSSL_HOME/third_party/libcrux/
+  cp -r generated/intrinsics $BORINGSSL_HOME/third_party/libcrux/
 
   # We use special files here.
-  cp cg/boring/eurydice_glue.h $BORINGSSL_HOME/third_party/libcrux/
-  cp -r cg/boring/karamel $BORINGSSL_HOME/third_party/libcrux/
+  cp generated/boring/eurydice_glue.h $BORINGSSL_HOME/third_party/libcrux/
+  cp -r generated/boring/karamel $BORINGSSL_HOME/third_party/libcrux/
 fi