Skip to content

Commit f7cfadd

Browse files
authored
Improve FFI build in Makefile (#254)
1 parent f94364d commit f7cfadd

2 files changed

Lines changed: 35 additions & 0 deletions

File tree

Makefile

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -543,6 +543,25 @@ generate_halo2_ipa_proof:
543543
echo "Generating halo2 plonk proof..." && \
544544
echo "Generated halo2 plonk proof!"
545545

546+
547+
__BUILD_ALL_FFI__:
548+
build_all_ffis_macos: ## Build all FFIs for macOS
549+
@echo "Building all FFIs for macOS..."
550+
@$(MAKE) build_sp1_macos
551+
@$(MAKE) build_risc_zero_macos
552+
# @$(MAKE) build_merkle_tree_macos
553+
@$(MAKE) build_halo2_ipa_macos
554+
@$(MAKE) build_halo2_kzg_macos
555+
@echo "All macOS FFIs built successfully."
556+
557+
build_all_ffis_linux: ## Build all FFIs for Linux
558+
@echo "Building all FFIs for Linux..."
559+
@$(MAKE) build_sp1_linux
560+
@$(MAKE) build_risc_zero_linux
561+
# @$(MAKE) build_merkle_tree_linux
562+
@$(MAKE) build_halo2_ipa_linux
563+
@echo "All Linux FFIs built successfully."
564+
546565
__EXPLORER__:
547566
run_devnet_explorer:
548567
@cd explorer/ && \

README.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,11 +154,27 @@ Install eigenlayer-cli:
154154
```bash
155155
make install_eigenlayer_cli
156156
```
157+
#### Building FFIs
158+
159+
##### For macOS:
160+
To build all FFIs for macOS environments, run the following command in your terminal:
161+
```bash
162+
make build_all_ffis_macos
163+
```
164+
This command compiles all necessary Rust libraries into dynamic libraries (.dylib files) that can be used in macOS applications
165+
166+
##### For Linux:
167+
To build all FFIs for Linux environments, use this command:
168+
```bash
169+
make build_all_ffis_linux
170+
```
171+
This will compile all necessary Rust libraries into .so files (shared objects) that are usable within Linux applications.
157172

158173
### Booting Devnet with Default configs
159174

160175
Before starting you need to setup an S3 bucket. More data storage will be tested in the future.
161176

177+
162178
You need to fill the data in:
163179

164180
```batcher/.env```

0 commit comments

Comments
 (0)