fix: add dependencies that vary depending on the os to make deps (#117)

Co-authored-by: Urix <43704209+uri-99@users.noreply.github.com>
Co-authored-by: MauroFab <maurotoscano2@gmail.com>
Co-authored-by: Mauro Toscano <12560266+MauroToscano@users.noreply.github.com>

Author: 3 people

Makefile

@@ -1,21 +1,35 @@
 .PHONY: help tests
 
+OS := $(shell uname -s)
+
 CONFIG_FILE?=config-files/config.yaml
 
+ifeq ($(OS),Linux)
+	BUILD_ALL_FFI = $(MAKE) build_all_ffi_linux
+endif
+
+ifeq ($(OS),Darwin)
+	BUILD_ALL_FFI = $(MAKE) build_all_ffi_macos
+endif
+
 help:
 	@grep -E '^[a-zA-Z0-9_-]+:.*?## .*$$' $(MAKEFILE_LIST) | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'
 
-deps: ## Install deps
+submodules:
 	git submodule update --init --recursive
+	@echo "Updated submodules"
+
+deps: submodules build_all_ffi ## Install deps
+
+go_deps:
+	@echo "Installing Go dependencies..."
 	go install github.com/maoueh/zap-pretty@latest
 	go install github.com/ethereum/go-ethereum/cmd/abigen@latest
+	go install github.com/Layr-Labs/eigenlayer-cli/cmd/eigenlayer@latest
 
 install_foundry:
 	curl -L https://foundry.paradigm.xyz | bash
 
-install_eigenlayer_cli:
-	@go install github.com/Layr-Labs/eigenlayer-cli/cmd/eigenlayer@latest
-
 anvil_deploy_eigen_contracts:
 	@echo "Deploying Eigen Contracts..."
 	. contracts/scripts/anvil/deploy_eigen_contracts.sh
@@ -542,10 +556,15 @@ generate_halo2_ipa_proof:
 	RUST_LOG=info cargo run --release && \
 	echo "Generating halo2 plonk proof..." && \
 	echo "Generated halo2 plonk proof!"
-	
+
 
 __BUILD_ALL_FFI__:
-build_all_ffis_macos: ## Build all FFIs for macOS 
+
+build_all_ffi: ## Build all FFIs
+	$(BUILD_ALL_FFI)
+	@echo "Created FFIs"
+
+build_all_ffi_macos: ## Build all FFIs for macOS
 	@echo "Building all FFIs for macOS..."
 	@$(MAKE) build_sp1_macos
 	@$(MAKE) build_risc_zero_macos
@@ -554,16 +573,17 @@ build_all_ffis_macos: ## Build all FFIs for macOS
 	@$(MAKE) build_halo2_kzg_macos
 	@echo "All macOS FFIs built successfully."
 
-build_all_ffis_linux: ## Build all FFIs for Linux
+build_all_ffi_linux: ## Build all FFIs for Linux
 	@echo "Building all FFIs for Linux..."
 	@$(MAKE) build_sp1_linux
 	@$(MAKE) build_risc_zero_linux
 #	@$(MAKE) build_merkle_tree_linux
 	@$(MAKE) build_halo2_ipa_linux
 	@echo "All Linux FFIs built successfully."
 
+
 __EXPLORER__:
-run_devnet_explorer: 
+run_devnet_explorer:
 	@cd explorer/ && \
 		mix setup && \
 		cp .env.dev .env && \

README.md

@@ -15,6 +15,7 @@
   - [Explorer](#explorer)
   - [Notes on project creation / devnet deployment](#notes-on-project-creation--devnet-deployment)
   - [Tests](#tests)
+  - [Verify Proofs](#verify-proofs)
   - [FAQ](#faq)
 
 ## The Project
@@ -132,39 +133,32 @@ Ensure you have the following installed:
 - [jq](https://jqlang.github.io/jq/)
 - [yq](https://github.com/mikefarah/yq)
 
-Install zap-pretty and abigen:
+To install [Go](https://go.dev/doc/install), [Rust](https://www.rust-lang.org/tools/install), [jq](https://jqlang.github.io/jq/) and [yq](https://github.com/mikefarah/yq) go to the provided links and follow the instructions.
+
+Install Go dependencies ([zap-pretty](https://github.com/maoueh/zap-pretty), [abigen](https://geth.ethereum.org/docs/tools/abigen), [eigenlayer-cli](https://github.com/Layr-Labs/eigenlayer-cli.git)):
 
 ```bash
-make deps
+make go_deps
 ```
 
-Install foundry:
+Install [Foundry](https://book.getfoundry.sh/getting-started/installation):
 
 ```bash
 make install_foundry
 foundryup
 ```
 
-Install eigenlayer-cli:
+Install necessary submodules and build all the FFIs for your OS:
 
 ```bash
-make install_eigenlayer_cli
+make deps
 ```
-#### Building FFIs
 
-##### For macOS:
-To build all FFIs for macOS environments, run the following command in your terminal:
-  ```bash
-  make build_all_ffis_macos
-  ```
-This command compiles all necessary Rust libraries into dynamic libraries (.dylib files) that can be used in macOS applications
+If you want to rebuild the FFIs you can use:
 
-##### For Linux:
-To build all FFIs for Linux environments, use this command:
 ```bash
-make build_all_ffis_linux
+make build_all_ffi
 ```
-This will compile all necessary Rust libraries into .so files (shared objects) that are usable within Linux applications.
 
 ### Booting Devnet with Default configs