diff options
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-abc | 4 | ||||
-rwxr-xr-x | contrib/get-cryptominisat4 | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/contrib/get-abc b/contrib/get-abc index 0a840fc84..217cbfdf8 100755 --- a/contrib/get-abc +++ b/contrib/get-abc @@ -26,10 +26,10 @@ sed 's,\( *\)\(.*Libs_Init(\),\1//\2,;s,\( *\)\(.*Libs_End(\),\1//\2,' src/base/ # Build optimized, without readline, without pthreads. # These aren't necessary for our usage and we don't want the dependencies. -make libabc.a OPTFLAGS=-O ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1 +make -j$(nproc) libabc.a OPTFLAGS=-O ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1 mv libabc.a libabc-static.a make clean -make libabc.a OPTFLAGS='-O -fPIC' ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1 +make -j$(nproc) libabc.a OPTFLAGS='-O -fPIC' ABC_USE_NO_READLINE=1 ABC_USE_NO_PTHREADS=1 echo echo ===================== Now configure CVC4 with ===================== diff --git a/contrib/get-cryptominisat4 b/contrib/get-cryptominisat4 index c6f2a1ce8..5c7cdd958 100755 --- a/contrib/get-cryptominisat4 +++ b/contrib/get-cryptominisat4 @@ -25,7 +25,7 @@ mkdir ../build cd ../build cmake -DCMAKE_INSTALL_PREFIX:PATH=$CRYPTOMINISAT_PATH/install -DSTATICCOMPILE="ON" -DNOM4RI="ON" ../cryptominisat-$version -make install -j2 +make install -j$(nproc) cd ../ |