<div dir="ltr">> <span style="font-size:12.8000001907349px">Has anyone else encountered this situation before?</span><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">Yes, and I also would be interested in a good solution. One idea we had was to share switch configurations. I'd like to say here's a whole switch: it has this name, these remotes (if remotes were switch specific), these pins, etc. Then, I want to share this config with my team, and declare that a build machine should switch to this particular config. I have no idea how to do this though, other than hacking some shell script.</span></div><div><span style="font-size:12.8000001907349px"><br></span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 5, 2015 at 2:58 PM, Trevor Smith <span dir="ltr"><<a href="mailto:trevorsummerssmith@gmail.com" target="_blank">trevorsummerssmith@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi all,<div><br></div><div>We're using opam internally at work. I have two use cases for our internal libraries:</div><div><br></div><div>1) "dev dependencies" -- I want what is in the repo.</div><div>2) "explicit dependency" -- I want a given version.</div><div><br></div><div>opam has #2 covered.</div><div><br></div><div>However it is not clear to me how to do #1 correctly. I can, on a given machine (ie not on an opam repository), pin a given package to a git repo. But locally pinning isn't what I want. I want a package in an opam repository to say "I depend upon this other dev package" so that our build boxes, and various developer machines will all do the same thing, and I don't need to separately pin everything on each box.</div><div><br></div><div>Has anyone else encountered this situation before?</div><div><br></div><div>Thoughts? Thanks.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Trevor</div></font></span></div>
<br>_______________________________________________<br>
Platform mailing list<br>
<a href="mailto:Platform@lists.ocaml.org">Platform@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/platform" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br>
<br></blockquote></div><br></div>