From 1087e754f5ece0bf1751b66bee4e757f2d15c018 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Thu, 4 Jul 2024 17:42:49 +0200 Subject: [PATCH] Add symlink to setup-cadical.sh in ci-scripts --- ci-scripts/setup-cadical.sh | 1 + 1 file changed, 1 insertion(+) create mode 120000 ci-scripts/setup-cadical.sh diff --git a/ci-scripts/setup-cadical.sh b/ci-scripts/setup-cadical.sh new file mode 120000 index 000000000..cf565cc06 --- /dev/null +++ b/ci-scripts/setup-cadical.sh @@ -0,0 +1 @@ +../contrib/setup-cadical.sh \ No newline at end of file