diff --git a/requirements.txt b/requirements.txt
index c65433e4dd..10b27ca5e8 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -16,5 +16,3 @@ googleapis-common-protos==1.53.0; python_version <= '3.6'
 grpcio==1.48.2; python_version <= '3.6'
 isort==5.10.1; python_version <= '3.6'
 black==22.8.0; python_version <= '3.6'
-jsl==0.2.4 # specific to Tofino backend
-pyinstaller==6.11.0 # specific to Tofino backend
diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index d6699cbd20..64df380cfa 100755
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -219,6 +219,7 @@ fi
 function build_tofino() {
     P4C_TOFINO_PACKAGES="rapidjson-dev"
     sudo apt-get install -y --no-install-recommends ${P4C_TOFINO_PACKAGES}
+    sudo pip3 install jsl==0.2.4 pyinstaller==6.11.0
 }
 
 if [[ "${INSTALL_TOFINO}" == "ON" ]]; then