[opam-devel] can a repository URL point to a sub-directory of a git repo

Ashish Agarwal agarwal1975 at gmail.com
Thu Jan 23 17:56:17 GMT 2014


On Thu, Jan 23, 2014 at 12:36 PM, Thomas Gazagnaire
<thomas at gazagnaire.org>wrote:

After re-reading your question again, a possible solution is to have this
> hierarchy:
>
> ./packages/<name>.<version>/{opam,descr,url}
>
> inside your git repo and adding it as a remote repo should work.
>

Of course! That does work, though it's not too nice having a packages/
directory in the top-level. At least opam/ would give some clue what the
directory is about.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140123/152ab264/attachment.html>


More information about the opam-devel mailing list