search

na4zagin3 / satyrographos

Package manager for SATySFi
GNU Lesser General Public License v3.0
43 stars 13 forks source link

Use opam local switch #278

Open na4zagin3 opened 3 years ago

na4zagin3 commented 3 years ago

According smorimoto, opam local switch is available (but not well-documented), which is what I wanted.

na4zagin3 commented 3 years ago

In my local environment, SATySFi does not build at a local OPAM switch. I reported https://github.com/gfngfn/SATySFi/issues/272