Skip to content

Where does <pkg>.install belongs? #31

@gildor478

Description

@gildor478

Forking the discussion on #29

For .install, the OPAM manual indeed [talks about that file] (https://opam.ocaml.org/doc/Manual.html#packagenameinstall) without expressing a clear preference. A discussion — somewhere on Github I think — made clear however that <pkg>.install files are not welcome in the opam-repository in order not to "pollute" everybody with extra files that may not be useful for them.

Not sure to understand where the .install should be ?

  1. in the upstream source?
    I don't see the use of it in there. Except for OPAM, it won't be useful (hence polluting the source).
  2. in the OPAM repository?
    I thought it was a good option. If you can point me to the right place for the mentioned discussion. that would be nice.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions