Remove python2 from host dependencies

Signed-off-by: Andy Bui <[email protected]>
seL4 · Jun 15, 2023 · 647953f · 647953f
1 parent 0dcdd7b
commit 647953f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/content_collections/_dependencies/camkes.md b/content_collections/_dependencies/camkes.md
@@ -14,8 +14,6 @@ The Python dependencies required by the CAmkES build toolchain can be installed
 
 ```sh
 pip3 install --user camkes-deps
-# Currently we duplicate dependencies for python2 and python3 as a python3 upgrade is in process
-pip install --user camkes-deps
 ```
 
 ### Haskell Dependencies

diff --git a/content_collections/_dependencies/sel4.md b/content_collections/_dependencies/sel4.md
@@ -42,7 +42,7 @@ sudo apt-get install u-boot-tools
 For Ubuntu 18.04:
 
 ```sh
-sudo apt-get install python-dev python-pip python3-dev python3-pip
+sudo apt-get install python3-dev python3-pip
 sudo apt-get install protobuf-compiler python-protobuf
 sudo apt-get install gcc-8 g++-8
 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-8 800 --slave /usr/bin/g++ g++ /usr/bin/g++-8
@@ -124,9 +124,6 @@ Regardless of your Linux distribution, python dependencies are required to build
 ```sh
 pip3 install --user setuptools
 pip3 install --user sel4-deps
-# Currently we duplicate dependencies for python2 and python3 as a python3 upgrade is in process
-pip install --user setuptools
-pip install --user sel4-deps
 ```
 
-(Some distributions use `pip` for python3 and `pip2` for python2; others uses `pip` for python2 and `pip3` for python3.  Use the Python 3 version for your distribution)
+(Some distributions use `pip` for python3, others use `pip3`.  Use the Python 3 version for your distribution)