Add mina build make cmds

gabrielbosio · gabrielbosio · commit 38fd547f54bb · 2024-06-26T18:06:05.000-03:00
diff --git a/Makefile b/Makefile
@@ -663,6 +663,14 @@ generate_halo2_ipa_proof:
 	echo "Generating halo2 plonk proof..." && \
 	echo "Generated halo2 plonk proof!"
 
+__MINA_FFI__: ##
+build_kimchi_macos:
+	@cd operator/kimchi/lib && cargo build --release
+	@cp operator/kimchi/lib/target/release/libkimchi_verifier_ffi.dylib operator/kimchi/lib/libkimchi_verifier.dylib
+
+build_kimchi_linux:
+	@cd operator/kimchi/lib && cargo build --release
+	@cp operator/kimchi/lib/target/release/libkimchi_verifier_ffi.so operator/kimchi/lib/libkimchi_verifier.so
 
 __BUILD_ALL_FFI__:
 
diff --git a/operator/kimchi/.gitignore b/operator/kimchi/.gitignore
@@ -0,0 +1,3 @@
+lib/libkimchi_verifier.so
+lib/libkimchi_verifier.a
+lib/libkimchi_verifier.dylib

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+lib/libkimchi_verifier.so`
	`2`	`+lib/libkimchi_verifier.a`
	`3`	`+lib/libkimchi_verifier.dylib`