Skip to content

build-deps: really install and use opam-depext

Pierre Boutillier requested to merge nomadic-labs/tezos:install_depext into master

Not perfect as you can read in the comment but urgent (and to be back ported): While installing on a fresh machine, users had to guess from nowhere that a sudo apt install libhidapi-dev pkg-config libgmp-dev ... is mandatory !

Merge request reports