Use $(MAKE) in Makefile

This commit is contained in:
Sam A. 2023-03-29 16:39:20 +02:00
parent 3cae9ca16b
commit 26477c456b
Signed by: samsapti
GPG Key ID: CBBBE7371E81C4EA
1 changed files with 5 additions and 4 deletions

View File

@ -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 $@