From c5a2fb604cb408ffc37cafa4330fb454e5b55b73 Mon Sep 17 00:00:00 2001
From: Sam Al-Sapti <sam@sapti.me>
Date: Wed, 29 Mar 2023 17:03:00 +0200
Subject: [PATCH] Add make target to compile .mpc files

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index a012c2c..e105ffe 100644
--- a/Makefile
+++ b/Makefile
@@ -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) $@