Add make target to compile .mpc files

2023-03-29 17:03:00 +02:00 · 2023-03-29 17:03:00 +02:00 · c5a2fb604c
parent 2e1740185a
commit c5a2fb604c
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -12,5 +12,8 @@ deps: patch
 	$(MAKE) -C $(MP_SPDZ_PATH) boost
 	$(MAKE) -C $(MP_SPDZ_PATH) libote mpir

+%.mpc:
+	cd $(MP_SPDZ_PATH) && ./compile.py ../$@
+
 %:
 	$(MAKE) -C $(MP_SPDZ_PATH) $@