From d87cb47b5f551215bd505fd350aecf4766ab8e44 Mon Sep 17 00:00:00 2001 From: Karthikeyan Bhargavan Date: Thu, 25 Apr 2024 21:27:19 +0200 Subject: [PATCH] fixed paths in makefile --- examples/kyber_compress/proofs/fstar/extraction/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/kyber_compress/proofs/fstar/extraction/Makefile b/examples/kyber_compress/proofs/fstar/extraction/Makefile index f39ae304f..005f98a09 100644 --- a/examples/kyber_compress/proofs/fstar/extraction/Makefile +++ b/examples/kyber_compress/proofs/fstar/extraction/Makefile @@ -40,8 +40,8 @@ FSTAR_BIN ?= $(shell command -v fstar.exe 1>&2 2> /dev/null && echo "fstar. HAX_PROOF_LIBS_HOME ?= $(HAX_HOME)/proof-libs/fstar HAX_LIBS_HOME ?= $(HAX_HOME)/hax-lib/proofs/fstar/extraction -CACHE_DIR ?= $(HAX_PROOF_LIBS)/.cache -HINT_DIR ?= $(HAX_PROOF_LIBS)/.hints +CACHE_DIR ?= $(HAX_PROOF_LIBS_HOME)/.cache +HINT_DIR ?= $(HAX_PROOF_LIBS_HOME)/.hints .PHONY: all verify clean