tree e027882646fa5c54bdbcbde4553236861908edc6
parent 83745f83db6191a183bad97fdcf83b8b9c992303
author Thomas Preud'homme <thomasp@graphcore.ai> 1588349480 +0100
committer Thomas Preud'homme <thomasp@graphcore.ai> 1588458808 +0100

Fix pip install line in Dockerfile

Summary:
The pip install line in Dockerfile is missing the -r switch and is
not executed from the directory where the requirement file is, both of
which make the docker image fail to build. This commit fixes those
issues and also simplify the line by using pip3 instead of
python3 -m pip.

Reviewed By: cmatthews

Differential Revision: https://reviews.llvm.org/D79238