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/get-abc | |
parent | e1390a20e15a11b93498a0f23453ea759775662a (diff) |
Check whether Cryptominisat4/ABC was installed via get-* script. (#1565)
Diffstat (limited to 'contrib/get-abc')
-rwxr-xr-x | contrib/get-abc | 4 |
1 files changed, 2 insertions, 2 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 ===================== |