Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support managing project of ocaml edition A from drom of ocaml edition B #219

Open
glyh opened this issue Sep 17, 2023 · 4 comments
Open

Comments

@glyh
Copy link

glyh commented Sep 17, 2023

I got this error when I attempted:

$ drom build
drom: Entering directory '/home/lyh/Documents/CS/PL/honu_mac'
Warning: drom is not correctly configured, no share_dir found
   * ocamlup share/drom points to directory with missing "/home/lyh/.ocamlup/share/drom/skeletons"
   * OPAM_SWITCH_PREFIX points to directory with missing "/home/lyh/Documents/CS/PL/honu_mac/_opam/share/drom/skeletons"
Warning: could not load licenses from share/drom/licenses
Warning: could not load skeletons from share/drom/skeletons/package
Warning: could not load skeletons from share/drom/skeletons/project
Error: Missing skeleton "program"

It's clear that drom is mismatched. However I can't install drom inside this swith, as the following reason:

$ opam install drom
[ERROR] Package conflict!
  * No agreement on the version of ocaml:
    - (invariant) → ocaml = 5.1.0
    - drom → drom_lib < 0.3.0 → ez_config < 1.0.0 → dune < 3.0.0 → ocaml < 4.08.0
    You can temporarily relax the switch invariant with `--update-invariant'

No solution found, exiting

Solution would be either dropping ez_config, or separate the 2 relation.

@struktured
Copy link

@glyh I tried doing the admittedly awkward opam exec --switch=your-drom-env drom but I doubt that's a reliable approach.

@lefessan
Copy link
Member

Indeed, ez_config is there, but not used at all...

@lefessan
Copy link
Member

Note that I would advise not to use the opam version, but install it outside of opam trees, as drom has no dependency inside its switch (current version is supposed to checkout drom-share using git)

@glyh
Copy link
Author

glyh commented Sep 29, 2023

@lefessan that's exactly what I tried, but drom doesn't seem to be able to manage that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants