From e879e55dbd21d8c5e13c6e6c40852d99a8ea4192 Mon Sep 17 00:00:00 2001 From: Pawel Czarnecki Date: Mon, 7 Apr 2025 13:22:56 +0200 Subject: [PATCH] dslx/stdlib: Add missing acm_random DSLX library Signed-off-by: Pawel Czarnecki --- xls/dslx/stdlib/BUILD | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/xls/dslx/stdlib/BUILD b/xls/dslx/stdlib/BUILD index 7d1e8a361f..96d2db719b 100644 --- a/xls/dslx/stdlib/BUILD +++ b/xls/dslx/stdlib/BUILD @@ -59,6 +59,11 @@ xls_dslx_prove_quickcheck_test( srcs = ["std.x"], ) +xls_dslx_library( + name = "acm_random_dslx", + srcs = ["acm_random.x"], +) + xls_dslx_test( name = "acm_random_dslx_test", srcs = ["acm_random.x"],