Open avsm opened 11 years ago
This is kind of minor, but if i forget to run opam config env before invoking mirari, it calls mir-crunch and doesn't find it.
opam config env
mir-crunch
Perhaps we should call all subcommands via OPAM so that the configuration of PATH is correct, including mir-crunch
mir-crunch should already be called through opam exec ! (or something is very wrong here...)
opam exec
This is kind of minor, but if i forget to run
opam config env
before invoking mirari, it callsmir-crunch
and doesn't find it.Perhaps we should call all subcommands via OPAM so that the configuration of PATH is correct, including
mir-crunch