package conf-ida

  1. Overview
  2. No Docs
Checks that IDA Pro is installed

Install

Dune 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

Published: 30 Jul 2020

Dependencies (3)

  1. conf-which build
  2. base-unix
  3. ocaml >= "4.03"

Dev Dependencies

None

Conflicts

None