Skip to content
This repository was archived by the owner on Aug 25, 2022. It is now read-only.

output opam2 file#157

Merged
samoht merged 1 commit intomirage:masterfrom
hannesm:opam2
Oct 4, 2018
Merged

output opam2 file#157
samoht merged 1 commit intomirage:masterfrom
hannesm:opam2

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented Sep 22, 2018

now that opam2 is the default, is there any reason to output a opam 1.2 file!?

@Drup
Copy link
Copy Markdown
Member

Drup commented Sep 22, 2018

Do we really want to merge that already ? Not wait a few more weeks until people have migrated ?

@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Sep 22, 2018

Dear @Drup, IIUC the opam-repository won't be updated for opam 1.2.x (i.e. the 1.2 branch will stay there, but won't be updated). And a Mirage 3.2.0 release is coming soon. Since this will only be available for opam 2.0 users, why should we wait "a few more weeks" for switching to opam2?

@samoht
Copy link
Copy Markdown
Member

samoht commented Sep 25, 2018

Do the depends field also add the right OCaml versions?

@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Sep 25, 2018

@samoht depends is filled by the consumer, in our case mirage -- see the change in mirage/mirage#926

@samoht samoht merged commit 9b0fb4e into mirage:master Oct 4, 2018
hannesm added a commit to hannesm/opam-repository that referenced this pull request Nov 16, 2018
CHANGES:

* compute all transitive opam dependencies for info (mirage/functoria#151, by @hannesm)
* support pin-depends in generated opam file (mirage/functoria#163, by @hannesm)
* use dune as build system (mirage/functoria#158, by @emillon)
* use Ptime for time printing (mirage/functoria#160, by @emillon)
* inject global arguments into generated header (mirage/functoria#159, by @emillon)
* add Functoria_key.add_to_context (mirage/functoria#161, by @emillon)
* output opam2 files (mirage/functoria#157, by @hannesm)
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants