Skip to content

Commit 4d75f93

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 9499a50 commit 4d75f93

File tree

18 files changed

+5096
-2
lines changed

18 files changed

+5096
-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
@@ -89,6 +89,11 @@ let local_libraries =
8989
; include_subdirs_unqualified = false
9090
; special_builtin_support = None
9191
}
92+
; { path = "vendor/ocaml-blake3-mini"
93+
; main_module_name = Some "Blake3_mini"
94+
; include_subdirs_unqualified = false
95+
; special_builtin_support = None
96+
}
9297
; { path = "otherlibs/chrome-trace/src"
9398
; main_module_name = Some "Chrome_trace"
9499
; 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)