Closed brendanlong closed 6 years ago
Is there anything I need to do to get this merged? This is currently blocking us from upgrading to opam 2.0 on our build box, and opam 1.2 is going to stop working in less than a month :\
Until this fix is merged and the new version is released, you can pin your version on your ci: opam pin add opam-depext -k git https://github.com/arenadotio/opam-depext#amazon-linux
.
Also a question: Is there any way to override opam var os-distribution until a new opam-depext release comes out with this fix?
From the manual, you can override variables from configuration files. As os-distribution
is a global variable, you can change the ~/.opam/config
file.
I updated your PR, there was a conflict with a recently merged PR.
Cool, thanks
Thanks!
Also a question: Is there any way to override
opam var os-distribution
until a newopam-depext
release comes out with this fix?