this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3authors: "BAP Team"
4homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
5bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
6dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
7license: "MIT"
8build: [
9 ["ocaml" "find-ida.ml"]
10]
11depends: [
12 "ocaml"
13 "base-unix"
14 "conf-which" {build}
15]
16substs: [ "find-ida.ml" ]
17flags: [ conf ]
18x-ci-accept-failures: ["debian-unstable"]
19
20synopsis: "Checks that IDA Pro is installed"
21description: """
22A path to ida can be hinted by setting opam config variable:
23$: opam config set ida-path <path-to-ida>
24
25Also can be hinted with IDA_PATH environment variable, e.g.,
26$: IDA_PATH=<path-to-ida> opam install conf-ida
27"""
28extra-source "find-ida.ml.in" {
29 src:
30 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-ida/find-ida.ml.in.0.2"
31 checksum: [
32 "sha256=3f91d04ba930abf79beab61da475fccb3dbd6fcb4de5f30f60dcea4a7b0e3106"
33 "md5=bfac3914c3d2adc1bed13e977fdac72d"
34 ]
35}