ci: setup venv in ci

Author: darwintree

dev-support/activate_venv.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+pip install uv
+uv venv --python 3.11
+source .venv/bin/activate

dev-support/dep_pip3.sh

@@ -3,7 +3,13 @@
 set -e
 
 # echo python version
+echo "python3:"
 python3 --version
+which python3
+echo "pip3:"
+pip3 --version
+which pip3
+
 
 if [ -n "$BASH_VERSION" ]; then
     SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
@@ -14,7 +20,10 @@ fi
 pip install uv
 # The requirements.txt is generated by command:
 # uv pip compile pyproject.toml -o ./dev-support/requirements.txt
-uv pip sync "${SCRIPT_DIR}/requirements.txt"
+uv pip sync "${SCRIPT_DIR}/requirements.txt" --python $(which python3)
+
+uv pip list
+
 # set global solc version which is required by execution-spec-tests
 solc-select use 0.8.24 --always-install
 

dev-support/test.sh

@@ -2,6 +2,7 @@
 
 SCRIPT_DIR=`dirname "${BASH_SOURCE[0]}"`
 echo "Checking dependent python3 modules ..."
+source $SCRIPT_DIR/activate_venv.sh
 source $SCRIPT_DIR/dep_pip3.sh
 set -o pipefail