conf-ida

Checks that IDA Pro is installed
Description

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