Skip to content

Commit

Permalink
Add makefile (lambdaclass#571)
Browse files Browse the repository at this point in the history
  • Loading branch information
@MauroToscano @PatStiles
MauroToscano authored and PatStiles committed Oct 6, 2023
1 parent 15ff885 commit fd6b985
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion provers/cairo/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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))

Expand Down

0 comments on commit fd6b985

Please sign in to comment.