Skip to content

Commit 5d53384

Browse files
authored
Install flambda2_numbers stubs (#2518)
install numbers stubs
1 parent f075509 commit 5d53384

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

dune

+6
Original file line numberDiff line numberDiff line change
@@ -462,6 +462,12 @@
462462
(external/gc-timings/libgc_timings_stubs.a
463463
as
464464
compiler-libs/libgc_timings_stubs_native.a)
465+
(middle_end/flambda2/numbers/libflambda2_numbers_stubs.a
466+
as
467+
compiler-libs/libflambda2_numbers_stubs.a)
468+
(middle_end/flambda2/numbers/libflambda2_numbers_stubs.a
469+
as
470+
compiler-libs/libflambda2_numbers_stubs_native.a)
465471
; for special_dune compat
466472
(ocamloptcomp_with_flambda2.cma as compiler-libs/ocamloptcomp.cma)
467473
(ocamloptcomp_with_flambda2.cmxa as compiler-libs/ocamloptcomp.cmxa)

0 commit comments

Comments
 (0)