Skip to content

Commit 2a053d1

Browse files
committed
feature: vendor blake3 mini
Signed-off-by: Rudi Grinberg <[email protected]> <!-- ps-id: d57eeaab-ba78-46d4-b31c-1995107817df --> Signed-off-by: Rudi Grinberg <[email protected]>
1 parent 5498470 commit 2a053d1

File tree

18 files changed

+5098
-2
lines changed

18 files changed

+5098
-2
lines changed

boot/duneboot.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -785,7 +785,7 @@ module Library = struct
785785
else if check "_avx2"
786786
then x86 [ "-mavx2" ] [ "/arch:AVX2" ]
787787
else if check "_avx512"
788-
then x86 [ "-mavx512f"; "-mavx512vl" ] [ "/arch:AVX512" ]
788+
then x86 [ "-mavx512f"; "-mavx512vl"; "-mavx512bw" ] [ "/arch:AVX512" ]
789789
else if String.is_suffix fn ~suffix:"_neon"
790790
then Some `Arm64, []
791791
else None, []

boot/libs.ml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,11 @@ let local_libraries =
9494
; include_subdirs_unqualified = false
9595
; special_builtin_support = None
9696
}
97+
; { path = "vendor/ocaml-blake3-mini"
98+
; main_module_name = Some "Blake3_mini"
99+
; include_subdirs_unqualified = false
100+
; special_builtin_support = None
101+
}
97102
; { path = "otherlibs/chrome-trace/src"
98103
; main_module_name = Some "Chrome_trace"
99104
; include_subdirs_unqualified = false

src/dune_digest/dune

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,13 @@
11
(library
22
(name dune_digest)
3-
(libraries dune_metrics dune_stats dune_console dune_util stdune unix)
3+
(libraries
4+
dune_metrics
5+
blake3_mini
6+
dune_stats
7+
dune_console
8+
dune_util
9+
stdune
10+
unix)
411
(foreign_stubs
512
(names dune_digest_stubs)
613
(language c))

0 commit comments

Comments
 (0)