-
Notifications
You must be signed in to change notification settings - Fork 23
Open
Description
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.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels