fix cross compile

YosysHQ · Sep 13, 2023 · a2957ec · a2957ec
1 parent 574f749
commit a2957ec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 '306,389d' configure
+    sed -i '316,439d' configure
 fi
 if [ ${ARCH_BASE} == 'darwin' ]; then
-    sed -i '306,389d' configure
+    sed -i '316,439d' configure
 fi
 if [ ${ARCH_BASE} == 'windows' ]; then
     sed -i '247,347d' configure