search

dbuenzli / uuidm

Universally unique identifiers (UUIDs) for OCaml
http://erratique.ch/software/uuidm
ISC License
44 stars 11 forks source link

split the cmdliner part from the core library #9

Closed c-cube closed 4 years ago

c-cube commented 4 years ago

separate opam files, rather than depopts, avoids unecessary recompilations and make dependencies more explicit.

dbuenzli commented 4 years ago

I'm not interested in micromanaging the cmdliner dependency. A lot of my libraries come with a cli helper tool that exercises the library functionality and is useful in its own way, but formally the library doesn't need it.

So you get the following choice:

  1. Things are kept as is. Maybe opam can try to improve the dep-opts supports so that packages with a dep-opt can be specified as dependency, I think it was supposed to be done at some point. I don't know what happened with it.
  2. The dep-opt is dropped and all these packages are made to formally depend on cmdliner even though the library doesn't it.

What I'm not going to do is to have a $(PKG)-cmdliner package for all these libraries.

c-cube commented 4 years ago

alright.