unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
* Packaging OCaml repositories that define multiple packages?
@ 2023-01-08 14:04 Csepp
  2023-01-08 15:17 ` Julien Lepiller
  0 siblings, 1 reply; 6+ messages in thread
From: Csepp @ 2023-01-08 14:04 UTC (permalink / raw)
  To: Guix Devel; +Cc: Julien Lepiller, pukkamustard

I'm going through my MirageOS commits for what is hopefully the last
time before I send the patches and I realized that a problem that I
thought was isolated is a lot more widespread than I thought.

As an example look at https://github.com/mirage/mirage/

It defines functoria, functoria-runtime, mirage, and mirage-runtime.

It is possible to build all 4 as one package.

The opam importer seems to not be able to handle situations like this,
since it defines a new package for each sub-package.

How should I proceed?  I definitely want to merge all redundant packages
into one, but then what?  How should the package description reflect
this?  What should the package be named when it corresponds to 4 OPAM
packages at once?

For now I defined a few aliases for cases like this, but I'm not sure if
this is ideal.  They look like this (made up but possible example):
(define ocaml-mirage ocaml-mirage-runtime)


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2023-01-09 12:30 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-08 14:04 Packaging OCaml repositories that define multiple packages? Csepp
2023-01-08 15:17 ` Julien Lepiller
2023-01-08 19:52   ` Csepp
2023-01-09  1:37     ` Csepp
2023-01-09  7:17       ` pukkamustard
2023-01-09 12:07         ` Csepp

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).