debugging actions

ucsb-seclab · Sep 28, 2023 · a9fc43c · a9fc43c
1 parent 6079788
commit a9fc43c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/resources/setup.py b/resources/setup.py
@@ -8,7 +8,6 @@
 import sys
 with open("/tmp/syspath1", "w") as f:
     f.write(f"{sys.path=}\n")
-exit()
 
 here = path.abspath(path.dirname(__file__))
 

diff --git a/setup.sh b/setup.sh
@@ -72,10 +72,13 @@ cp $GREED_DIR/resources/yices_api.py yices2_python_bindings/yices_api.py
 cp $GREED_DIR/resources/setup.py yices2_python_bindings/setup.py
 which python
 which pip
+python --version
 python -m site
 pip --version
+pip freeze --all
 pip install -v -e yices2_python_bindings
 yices_python_info
+cat /tmp/syspath0
 cat /tmp/syspath
 
 ########################################################################################################################