From 8e94f5a5e58829f9453a7062aae99bef94937db0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Wed, 21 Aug 2024 14:23:37 -0400 Subject: [PATCH] Do not limit depth when cloning btor2tools (#340) --- contrib/setup-btor2tools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/setup-btor2tools.sh b/contrib/setup-btor2tools.sh index 654fa825..156da3aa 100755 --- a/contrib/setup-btor2tools.sh +++ b/contrib/setup-btor2tools.sh @@ -10,7 +10,7 @@ mkdir -p $DEPS if [ ! -d "$DEPS/btor2tools" ]; then cd $DEPS - git clone --depth 1 https://github.com/Boolector/btor2tools.git btor2tools + git clone https://github.com/Boolector/btor2tools.git btor2tools cd btor2tools git checkout -f $BTOR2TOOLS_VERSION CFLAGS="-fPIC" ./configure.sh --static