diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-02-08 07:27:16 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-08 09:27:16 -0600 |
| commit | aa62cb849687985e499fe28ff18b62938b657e92 (patch) | |
| tree | b595fc2f33f528127bb824f8d21729378ef09da3 /contrib | |
| parent | e1390a20e15a11b93498a0f23453ea759775662a (diff) | |
Check whether Cryptominisat4/ABC was installed via get-* script. (#1565)
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 ../ |