package conf-ida
All checked builds failInstall
dune-project
Dependency
Authors
Maintainers
Description
We search for IDA via 'which` utility and in the following locations: on Linux: in $HOME on macOS: in /Applications, $HOME/Applications/, $HOME. up to depth 4, and no more than 1024 entries in total. The first found entry is used.
A path to ida can be hinted by setting opam config variable: opam config set ida-path
Also can be hinted with IDA_PATH environment variable, e.g., IDA_PATH= opam install conf-ida
Added to opam-repository:
Dependencies (3)
-
conf-which
build - base-unix
-
ocaml
>= "4.03"
Dev Dependencies
None
Optional Dependencies
None
Used by (2)
Conflicts
None
Build status
Results of building conf-ida with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.
Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.
- good Package successfully built
- partial One of the dependencies failed to build
- bad Package failed to build
- n/a Package is not available in this environment
- internal Internal failure