debugging actions

.github/workflows/python-app.yml

@@ -31,14 +31,15 @@ jobs:
       run: |
         python -m venv venv
         source venv/bin/activate
-        sudo apt install -y gcc cmake gperf libgmp-dev
+        # sudo apt install -y gcc cmake gperf libgmp-dev
         python -m pip install --upgrade pip
-        pip install pytest
-        /bin/bash setup.sh --no-gigahorse
-
-    - name: Test with pytest
-      run: |
-        source venv/bin/activate
-        cd tests
-        pytest
+        python -c "import sys; print(sys.path)"
+        # pip install pytest
+        # /bin/bash setup.sh --no-gigahorse
+
+    # - name: Test with pytest
+    #   run: |
+    #     source venv/bin/activate
+    #     cd tests
+    #     pytest
 

resources/yices_api.py

@@ -225,6 +225,7 @@ def loadYices():
     print(f'{os.environ.get("PATH")=}')
     print(f'{os.environ.get("PYTHONPATH")=}')
     print(f'{os.environ.get("VIRTUAL_ENV")=}')
+    print(f'{sys.path=}')
     for path in sys.path + ['/usr/local/lib']:
         if _loadYicesFromPath(path, libyicespath):
             return

setup.sh

@@ -68,9 +68,7 @@ fi
 ls -lah $VIRTUAL_ENV_LIB | grep yices
 export PYTHONPATH=$PYTHONPATH:$VIRTUAL_ENV_LIB
 cp $GREED_DIR/resources/yices_api.py yices2_python_bindings/yices_api.py
-which pip
-which python
-python -m pip install -e yices2_python_bindings
+pip install -e yices2_python_bindings
 yices_python_info
 
 ########################################################################################################################
@@ -138,7 +136,7 @@ echo "Creating alias run.py -> greed.."
 ln -sf $GREED_DIR/resources/run.py $VIRTUAL_ENV_BIN/greed
 
 # install greed
-python -m pip install -e $GREED_DIR
+pip install -e $GREED_DIR
 
 ########################################################################################################################