From 5772d2eb4da12189d75323c26ca341c6576be1f2 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic <mmicko@gmail.com> Date: Tue, 5 Dec 2023 10:21:17 +0100 Subject: [PATCH] fix build --- default/scripts/cadical.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default/scripts/cadical.sh b/default/scripts/cadical.sh index 78d4f6d..68a6666 100644 --- a/default/scripts/cadical.sh +++ b/default/scripts/cadical.sh @@ -4,10 +4,10 @@ if [ ${ARCH_BASE} == 'windows' ]; then patch -p1 < ${PATCHES_DIR}/CaDiCaL_20190730.patch fi if [ ${ARCH} == 'linux-arm' ] || [ ${ARCH} == 'linux-arm64' ] || [ ${ARCH} == 'linux-riscv64' ]; then - sed -i '316,436d' configure + sed -i '318,436d' configure fi if [ ${ARCH_BASE} == 'darwin' ]; then - sed -i '316,436d' configure + sed -i '318,436d' configure fi if [ ${ARCH_BASE} == 'windows' ]; then sed -i '247,347d' configure