parallise cuild scripts

aby/install.sh

@@ -17,5 +17,5 @@ cp ~/source/geninput.py src/examples/
 # build ABY
 mkdir build && cd build
 cmake -DABY_BUILD_EXE=On ..
-make 
+make -j
 

cbmc-gc/install.sh

@@ -9,7 +9,7 @@ git checkout -b MPCSOK e57333b19484
 
 # make and install cmbc-gc executables
 make minisat2-download
-make
+make -j
 
 cp bin/cbmc* /usr/bin/
 cp bin/circuit* /usr/bin/

emp/install.sh

@@ -1,8 +1,8 @@
 #!/bin/bash
 
+set -e
+
 wget https://raw.githubusercontent.com/emp-toolkit/emp-readme/master/scripts/install.py
 # We don't set "-install" because our docker image already comes with the necessary dependencies.
 # See: https://github.com/emp-toolkit/emp-readme/blob/master/scripts/install.py#L12
 python3 install.py -install --tool --ot --sh2pc --ag2pc
-
-

mp-spdz/install.sh

@@ -12,7 +12,7 @@ if [ $fromsource = "yes" ]; then
     git checkout v$MP_SPDZ_VERSION
 
     make setup
-    make all
+    make all -j
 else
     curl -L https://github.com/data61/MP-SPDZ/releases/download/v$MP_SPDZ_VERSION/mp-spdz-$MP_SPDZ_VERSION.tar.xz | tar xJv
     mv mp-spdz-$MP_SPDZ_VERSION MP-SPDZ