[1] https://www.firedrakeproject.org/download.html
sudo apt install libxml2-dev
sudo apt install libcurl4-openssl-dev
mkdir $EIGEN_PATH
wget https://gitlab.com/libeigen/eigen/-/archive/3.3.9/eigen-3.3.9.tar.gz $EIGEN_PATH/
# compile petsc
wget https://raw.githubusercontent.com/firedrakeproject/firedrake/master/scripts/firedrake-install python3 firedrake-install --honour-python-path --honour-petsc-dir