`install` fails when `/usr/local/satysfi/dist` exists but not satysfi packages are installed in OPAM - Githubissues

na4zagin3 / satyrographos

Package manager for SATySFi

GNU Lesser General Public License v3.0

44 stars 13 forks source link

`install` fails when `/usr/local/satysfi/dist` exists but not satysfi packages are installed in OPAM #105

Closed na4zagin3 closed 4 years ago

na4zagin3 commented 4 years ago

Reported: https://twitter.com/puripuri2100/status/1226711068212248576?s=20

This happens when

/usr/share/satysfi/dist or /usr/local/share/satysfi/dist exists and
~/.opam/<current-ocaml-version>/share exists, but
/.opam/<current-ocaml-version>/share/satysfi does not exist.