From ce9add7a7198ab91f2aa408aad57057e2f7a0634 Mon Sep 17 00:00:00 2001
From: Sam Al-Sapti <sam@sapti.me>
Date: Sun, 14 May 2023 18:34:38 +0200
Subject: [PATCH] Optimize compilation

---
 src/Makefile | 2 +-
 src/run.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index e6fd6cc..d3679e4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -16,7 +16,7 @@ ssl:
 	cd $(MP_SPDZ_PATH) && Scripts/setup-ssl.sh 3
 
 %.mpc: _phony
-	python3 $(MP_SPDZ_PATH)/compile.py -R 64 $@
+	python3 $(MP_SPDZ_PATH)/compile.py -R 64 -O $@
 
 %:
 	$(MAKE) -C $(MP_SPDZ_PATH) $@
diff --git a/src/run.sh b/src/run.sh
index 9b37141..5e17afb 100755
--- a/src/run.sh
+++ b/src/run.sh
@@ -3,7 +3,7 @@
 cd MP-SPDZ
 
 if [[ $1 == "-k" ]]; then
-    killall semi-party.x
+    killall semi2k-party.x
     exit $?
 fi