Repository navigation
Expand file tree
/
Copy pathMakefile.toml
More file actions
62 lines (47 loc) · 1.52 KB
/
Copy pathMakefile.toml
File metadata and controls
62 lines (47 loc) · 1.52 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
[config]
min_version = "0.32.0"
[env]
RUST_BACKTRACE = "1"
CARGO_INCREMENTAL = "0"
[tasks.setupCairo]
description = "Installing dependencies and tools"
script_runner = "sh"
script = [
"echo Installing the Cairo program...",
"cargo install --git https://github.com/cartridge-gg/stone-prover.git --branch docker/both-cairo-versions cairo1-compile",
]
category = "Setup"
[tasks.setupCairoZero]
description = "Install dependencies or tools from a local path"
script_runner = "sh"
script = ["sh scripts/0-venv.sh"]
[tasks.compileCairoZero]
description = "Compiling the CairoZero program"
script = ["echo Compiling the CairoZero program...", "sh scripts/1-compile.sh"]
[tasks.compileCairo]
script_runner = "sh"
script = [
"echo Compiling the Cairo program...",
"mkdir -p resources",
"cairo1-compile compile examples/Cairo/fibonacci.cairo > resources/fibonacci_compiled.json",
]
[tasks.mergeCairo]
script_runner = "sh"
script = [
"echo Merging the Cairo program...",
"cairo1-compile merge -o examples/Cairo/prover_input.json resources/fibonacci_compiled.json examples/Cairo/input.json",
"rm resources/fibonacci_compiled.json",
]
[tasks.mergeCairoZero]
script_runner = "sh"
script = [
"echo Merging the CairoZero program...",
"sh scripts/2-merge.sh",
"rm resources/fibonacci_compiled.json",
]
[tasks.prepareCairo]
dependencies = ["setupCairo", "compileCairo", "mergeCairo"]
workspace = false
[tasks.prepareCairoZero]
dependencies = ["setupCairoZero", "compileCairoZero", "mergeCairoZero"]
workspace = false