From fd6b985000cdee2bc3044a6712f0596bb01d80f5 Mon Sep 17 00:00:00 2001
From: Mauro Toscano <12560266+MauroToscano@users.noreply.github.com>
Date: Fri, 22 Sep 2023 13:41:42 -0300
Subject: [PATCH] Add makefile (#571)

---
 provers/cairo/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/provers/cairo/Makefile b/provers/cairo/Makefile
index 37bcb44846..2fa939bb79 100644
--- a/provers/cairo/Makefile
+++ b/provers/cairo/Makefile
@@ -2,7 +2,7 @@
 
 ROOT_DIR:=$(shell dirname $(realpath $(firstword $(MAKEFILE_LIST))))
 
-CAIRO0_PROGRAMS_DIR=cairo_programs/cairo0
+CAIRO0_PROGRAMS_DIR=cairo_prover/cairo_programs/cairo0
 CAIRO0_PROGRAMS:=$(wildcard $(CAIRO0_PROGRAMS_DIR)/*.cairo)
 COMPILED_CAIRO0_PROGRAMS:=$(patsubst $(CAIRO0_PROGRAMS_DIR)/%.cairo, $(CAIRO0_PROGRAMS_DIR)/%.json, $(CAIRO0_PROGRAMS))