<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">It breaks the nice property that you can start a shell with "opam exec" and have it do the right thing with respect to dependent tools. If your scripts depend on an environment variable, then they'll work, but a symlink approach isn't quite as flexible.<div><br></div><div>Having said that, if people think that the symlink is really convenient and don't care about `opam exec`, I have no objection to a symlink being maintained.</div><div><br></div><div>-anil</div><div><br><div><div>On 20 Nov 2013, at 13:53, Louis Gesbert <<a href="mailto:louis.gesbert@ocamlpro.com">louis.gesbert@ocamlpro.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-style: normal; font-variant: normal; font-weight: 400; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; font-family: monospace; font-size: 8pt;"><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">Updating a symlink whenever you do `opam switch` wouldn't be too much of a problem indeed. What I am concerned about is that people may start using it from opam, which would break when the OPAMROOT and --root opam options are used.</div><p style="white-space: pre-wrap; margin: 0px; text-indent: 0px;"> </p><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">But perhaps I am being too cautious ? I'm myself using a ~/opam link pointing to ~/.opam/4.01.0 ...</div><p style="white-space: pre-wrap; margin: 0px; text-indent: 0px;"> </p><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">Best,</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">Louis</div><p style="white-space: pre-wrap; margin: 0px; text-indent: 0px;"> </p><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">Le lundi 18 novembre 2013 10:17:56 Sean McLaughlin a écrit :</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> Hi Louis,</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> What are the issues to using a symlink? Couldn't opam switch just move it</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> around?</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> Best,</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> Sean</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> On Mon, Nov 18, 2013 at 3:30 AM, Louis Gesbert</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> <<a href="mailto:louis.gesbert@ocamlpro.com">louis.gesbert@ocamlpro.com</a>>wrote:</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> </div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > Le dimanche 17 novembre 2013 16:54:15 Sean McLaughlin a écrit :</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > I'm trying to package a library that installs files in share. When I had</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > only one compiler installed, the %{prefix}% argument sent them to</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > .opam/system/share. However, when I installed another compiler and made</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > it</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > current, the files went into .opam/4.00.1/share. I am trying to tell the</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > user where to find the files. Is there a generic directory where I could</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > point the user? Perhaps you could make a symlink 'current' for the</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > > current compiler?</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > You should use $(opam config var prefix)/share, or even $(opam config var</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > share). A symlink could be an option worth considering, but it has its own</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > issues.</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > Best,</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> > Louis</div><div style="white-space: pre-wrap; margin: 0px; text-indent: 0px;">> ></div>_______________________________________________<br>opam-devel mailing list<br><a href="mailto:opam-devel@lists.ocaml.org">opam-devel@lists.ocaml.org</a><br>http://lists.ocaml.org/listinfo/opam-devel</div></blockquote></div><br></div></body></html>