this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "UNISIM-VP DBA decoder"
3description: """
4
5UNISIM ARCHISEC is a companion project of the binary analysis platform
6BINSEC. It exposes disassembly metadata and DBA (Dynamic Bitvector Automata)
7semantics of several instruction set architectures, including ARM and x86."""
8maintainer: ["BINSEC <binsec@saxifrage.saclay.cea.fr>"]
9authors: ["Yves Lhuillier" "Frédéric Recoules"]
10license: "BSD-3-Clause"
11homepage: "https://binsec.github.io"
12bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
13depends: [
14 "dune" {>= "2.8"}
15 "conf-gcc" {build}
16 "conf-g++" {build}
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://github.com/binsec/unisim_archisec.git"
34available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) ]
35url {
36 src:
37 "https://github.com/binsec/unisim_archisec/releases/download/0.0.0/unisim_archisec-0.0.0.tbz"
38 checksum: [
39 "sha256=9a1e9da4319a8a67a0159bf5fb625deaa428cc6cdec03878816ebd7886b76656"
40 "sha512=f0f0858687b782bdfdc1464195b9aa67222b08033dcc4bca47bef287224aa35da48d5819bbadc5f31cf8df0f5558a8003a9c94d3620ef6e1a6940a1b919541c9"
41 ]
42}
43x-commit-hash: "14ad18619d33a29e4ed423eadc5d7fdcf3520022"