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" "unix.cma" "find-ida.ml"]
10]
11depends: [
12 "ocaml" {>= "4.03"}
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: """
22We search for IDA via 'which` utility and in the following locations:
23on Linux: in $HOME
24on macOS: in /Applications, $HOME/Applications/, $HOME.
25up to depth 4, and no more than 1024 entries in total.
26The first found entry is used.
27
28A path to ida can be hinted by setting opam config variable:
29opam config set ida-path <path-to-ida>
30
31Also can be hinted with IDA_PATH environment variable, e.g.,
32IDA_PATH=<path-to-ida> opam install conf-ida
33"""
34
35post-messages: [
36 "We search in the following locations:" { failure}
37
38 "
39/Applications
40$HOME/Applications
41$HOME" {os = "macos" & failure}
42
43 "$HOME" {os = "linux" & failure}
44
45 "up to depth 4, and no more than 1024 entries in total. The first found entry is used. To control the search use the 'ida-path' opam variable or the 'IDA_PATH' environment variable." {failure}
46
47]
48extra-source "find-ida.ml.in" {
49 src:
50 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-ida/find-ida.ml.in.0.3"
51 checksum: [
52 "sha256=9ad91ecf8ef8c5f7acd52357913161e18648831e0959a9daeebb743fc63eebc3"
53 "md5=47df9656dccbff0054ee8628fbbf1864"
54 ]
55}