From 013b19590936441fbf63bcfc835c820d9692303b Mon Sep 17 00:00:00 2001 From: Michael Norrish Date: Tue, 14 May 2024 15:45:41 +1000 Subject: [PATCH] Create an INCLUDES line for Keccak example --- examples/Crypto/Keccak/Holmakefile | 1 + 1 file changed, 1 insertion(+) create mode 100644 examples/Crypto/Keccak/Holmakefile diff --git a/examples/Crypto/Keccak/Holmakefile b/examples/Crypto/Keccak/Holmakefile new file mode 100644 index 0000000000..12a3526880 --- /dev/null +++ b/examples/Crypto/Keccak/Holmakefile @@ -0,0 +1 @@ +INCLUDES = $(HOLDIR)/src/num/theories/cv_compute/automation