diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-02 16:20:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-02 16:20:45 -0700 |
| commit | 5001fa069ab42134333244b3f27c852724cea3e2 (patch) | |
| tree | c03b1730016a03094064b01311d5a529d9e00641 /contrib | |
| parent | 902262c421e52405204b3a95310c8414cc51a5c5 (diff) | |
Update CaDiCaL to version 1.0.3. (#3137)
* Removes incremental API check (#3011)
* Fixes toSatValueLit to use the new semantics of CaDiCaL's val()
Fixes #3011
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-cadical | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/contrib/get-cadical b/contrib/get-cadical index 359afaaa7..6cc1208c6 100755 --- a/contrib/get-cadical +++ b/contrib/get-cadical @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # source "$(dirname "$0")/get-script-header.sh" @@ -7,11 +7,13 @@ if [ -e cadical ]; then exit 1 fi -commit="b44ce4f0e64aa400358ae3a8adb45b24ae6e742c" +version="rel-1.0.3" -git clone https://github.com/arminbiere/cadical cadical +webget "https://github.com/arminbiere/cadical/archive/$version.tar.gz" "cadical-$version.tar.gz" +tar xfvz "cadical-$version.tar.gz" +rm "cadical-$version.tar.gz" +mv "cadical-$version" cadical cd cadical -git checkout $commit CXXFLAGS="-fPIC" ./configure && make -j$(nproc) |