Skip to content
Snippets Groups Projects
Commit 92c7d8d3 authored by Mandar Harshe's avatar Mandar Harshe
Browse files

Update dockerfile to 20.04 and use default user

While building the docker image pass the arguments `--build-arg
"host_uid=$(id -u)" --build-arg "host_gid=$(id -g)"` so that you can
use the outputs of the compilation outside

Update Docker ubuntu version and add Cython
parent ed32f4d7
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment