WIP: try venv

JerryScript-DCO-1.0-Signed-off-by: Máté Tokodi mate.tokodi@szteszoftver.hu
matetokodi · Dec 13, 2023 · 4073625 · 4073625
1 parent d6b2966
commit 4073625
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/gh-actions.yml b/.github/workflows/gh-actions.yml
@@ -281,7 +281,7 @@ jobs:
         with:
           python-version: '>=3.6'
       - run: sudo apt update
-      - run: sudo apt install gcc-arm-none-eabi mercurial make git python3-pip python3-setuptools python3-dev
+      - run: sudo apt install gcc-arm-none-eabi mercurial make git python3-pip python3-setuptools python3-dev python3-venv
       - run: make -f ./targets/os/mbedos/Makefile.travis install
       - run: make -f ./targets/os/mbedos/Makefile.travis script
 

diff --git a/targets/os/mbedos/Makefile b/targets/os/mbedos/Makefile
@@ -61,6 +61,7 @@ flash: .mbed-set-flash-flag .build
 
 .PHONY: .mbed-build
 .mbed-build:
+	. ../venv/bin/activate
 	mbed config -G MBED_OS_DIR $(MBED_OS_DIR)
 	mbed compile $(strip $(MBED_CLI_FLAGS))
 

diff --git a/targets/os/mbedos/Makefile.travis b/targets/os/mbedos/Makefile.travis
@@ -26,6 +26,8 @@ install-mbedos:
 
 # Deploy Mbed and install Mbed Python dependencies.
 install-mbedos-deps:
+    python3 -m venv ../venv
+    . ../venv/bin/activate
 	pip3 install --upgrade pip
 	pip3 install mbed-tools
 	pip3 install -r ../mbed-os/requirements.txt