You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
opam otopop should probably be a full superset of opam install — or at least, should be for simple package-names with no qualifications; and should be when there's no .opam file to modify. This interaction, for example, surprised me:
$ opam otopop menhir
[ERROR] No opam file in /Users/ec/Sync/Code/wrange
[ERROR] opam install ended with a non-zero exit code:
internal error, uncaught exception:
OpamStd.OpamSys.Exit(5)
The text was updated successfully, but these errors were encountered:
This plugin main purpose is to populate the opam file while wrapping the install, simple packages names are handled. Here, it is the error catching that is misleading: the error is raised by the plugin while it displays that the install failed. Before performing the install, the opam file to populate is checked.
If the case where just an install is needed, why don't use directly opam install?
opam otopop
should probably be a full superset ofopam install
— or at least, should be for simple package-names with no qualifications; and should be when there's no.opam
file to modify. This interaction, for example, surprised me:The text was updated successfully, but these errors were encountered: