From 1d78ad8a50e6aef121ea29e7de5e4aa3d0180184 Mon Sep 17 00:00:00 2001 From: Nicolas Sarlin Date: Mon, 9 Sep 2024 11:59:08 +0200 Subject: [PATCH] chore(zk): enable versionable lint for zk --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7b5d576ba0..eef836908e 100644 --- a/Makefile +++ b/Makefile @@ -331,7 +331,7 @@ clippy_cuda_backend: install_rs_check_toolchain .PHONY: tfhe_lints # Run custom tfhe-rs lints tfhe_lints: install_tfhe_lints cd tfhe && RUSTFLAGS="$(RUSTFLAGS)" cargo tfhe-lints \ - --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer -- -D warnings + --features=$(TARGET_ARCH_FEATURE),boolean,shortint,integer,zk-pok -- -D warnings .PHONY: build_core # Build core_crypto without experimental features build_core: install_rs_build_toolchain install_rs_check_toolchain