From 26477c456b9bd38673ffddc8c1d7f80f1e599be1 Mon Sep 17 00:00:00 2001 From: Sam Al-Sapti Date: Wed, 29 Mar 2023 16:39:20 +0200 Subject: [PATCH] Use $(MAKE) in Makefile --- Makefile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 97cc248..b89b063 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,5 @@ -default: all +all: patch deps + $(MAKE) -C src/MP_SPDZ all patch: -git -C src/MP_SPDZ apply ../../config.patch @@ -6,8 +7,8 @@ patch: deps: patch sudo apt install automake build-essential clang cmake git libntl-dev \ libsodium-dev libssl-dev libtool m4 python3 texinfo yasm - make -C src/MP_SPDZ -j$$(nproc) boost - make -C src/MP_SPDZ -j$$(nproc) libote mpir + $(MAKE) -C src/MP_SPDZ boost + $(MAKE) -C src/MP_SPDZ libote mpir %: - make -C src/MP_SPDZ -j$$(nproc) $@ + $(MAKE) -C src/MP_SPDZ $@