From da1552bb78cb37c484fa47dd54e895f7692ad0e8 Mon Sep 17 00:00:00 2001
From: Nicola Ruaro <ruaronicola@gmail.com>
Date: Tue, 8 Aug 2023 10:17:32 -0700
Subject: [PATCH] debug output for setup.sh

---
 setup.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/setup.sh b/setup.sh
index 70be98c..c065a80 100755
--- a/setup.sh
+++ b/setup.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -x
+
 if [ ! $VIRTUAL_ENV ]; then
  echo "${bold}${red}Can't install outside of a Python virtualenv${normal}"; exit 1
 fi
@@ -132,3 +134,5 @@ if [ ! -d $GREED_DIR/yices2_python_bindings ]; then
 fi
 
 pip install -e yices2_python_bindings
+
+set +x