38 lines
1.2 KiB
Diff
38 lines
1.2 KiB
Diff
|
From 091fd6240c6b263d848e8a5d20da042258f648b5 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Jonathan Protzenko <protz@microsoft.com>
|
||
|
|
Date: Thu, 10 Oct 2024 11:59:06 +0200
|
||
|
|
Subject: [PATCH 1/2] Try for Debian x86
|
||
|
|
|
||
|
|
---
|
||
|
|
Misc/sbom.spdx.json | 4 ++--
|
||
|
|
Modules/_hacl/libintvector.h | 2 +-
|
||
|
|
2 files changed, 3 insertions(+), 3 deletions(-)
|
||
|
|
|
||
|
|
--- a/Misc/sbom.spdx.json
|
||
|
|
+++ b/Misc/sbom.spdx.json
|
||
|
|
@@ -804,11 +804,11 @@
|
||
|
|
"checksums": [
|
||
|
|
{
|
||
|
|
"algorithm": "SHA1",
|
||
|
|
- "checksumValue": "d5d85ee8f0bd52781fe470d0bf73ec388ddb3999"
|
||
|
|
+ "checksumValue": "f4a33ad535768b860362ab0bd033a70da0b524b7"
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"algorithm": "SHA256",
|
||
|
|
- "checksumValue": "9a421b998add98fe366374641c4edb27617ff539a59f0963879f345065d3d39d"
|
||
|
|
+ "checksumValue": "433cdf4ba80bc72e0cea5d4b420ff18676baeafdb5ba19adf5b7fb33e90b424b"
|
||
|
|
}
|
||
|
|
],
|
||
|
|
"fileName": "Modules/_hacl/libintvector.h"
|
||
|
|
--- a/Modules/_hacl/libintvector.h
|
||
|
|
+++ b/Modules/_hacl/libintvector.h
|
||
|
|
@@ -19,7 +19,7 @@
|
||
|
|
|
||
|
|
#define Lib_IntVector_Intrinsics_bit_mask64(x) -((x) & 1)
|
||
|
|
|
||
|
|
-#if defined(__x86_64__) || defined(_M_X64)
|
||
|
|
+#if defined(__x86_64__) || defined(_M_X64) || defined(__i386__) || defined(_M_IX86)
|
||
|
|
|
||
|
|
#if defined(HACL_CAN_COMPILE_VEC128)
|
||
|
|
|