From 5001fa069ab42134333244b3f27c852724cea3e2 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Fri, 2 Aug 2019 16:20:45 -0700 Subject: 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 --- contrib/get-cadical | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'contrib') 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) -- cgit v1.2.3