-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmathlib-build.log
More file actions
27 lines (27 loc) · 1.06 KB
/
mathlib-build.log
File metadata and controls
27 lines (27 loc) · 1.06 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
✖ [2/31] Running Mathlib.Data.Nat.Defs
error: no such file or directory (error code: 2)
file: /root/openclaw_projects/zkevm-verifier-prototype/.lake/packages/mathlib/Mathlib/Data/Nat/Defs.lean
✖ [3104/3111] Running zkEVM.EVMMulMod
error: zkEVM/EVMMulMod.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3105/3111] Running zkEVM.EVMAddMod
error: zkEVM/EVMAddMod.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3106/3111] Running zkEVM.EVMSub
error: zkEVM/EVMSub.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3107/3111] Running zkEVM.EVMMod
error: zkEVM/EVMMod.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3108/3111] Running zkEVM.EVMMul
error: zkEVM/EVMMul.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3109/3111] Running zkEVM.EVMAdd
error: zkEVM/EVMAdd.lean: bad import 'Mathlib.Data.Nat.Defs'
✖ [3110/3111] Running zkEVM.EVMDiv
error: zkEVM/EVMDiv.lean: bad import 'Mathlib.Data.Nat.Defs'
Some required targets logged failures:
- Mathlib.Data.Nat.Defs
- zkEVM.EVMMulMod
- zkEVM.EVMAddMod
- zkEVM.EVMSub
- zkEVM.EVMMod
- zkEVM.EVMMul
- zkEVM.EVMAdd
- zkEVM.EVMDiv
error: build failed