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.1"
31 checksum: [
32 "sha256=55afbe212ea23faa52edfb4d52b8a50758e7d0e4de5f350802b235091e7c7cc8"
33 "md5=7443e13296975f98b7b82ccd79b84cbc"
34 ]
35}