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" {>= "3.0"}
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.1/unisim_archisec-0.0.1.tbz"
38 checksum: [
39 "sha256=562e567a0055ce13c44f8995752c957124e08a3bb6293a94265b4ef03e37bc4b"
40 "sha512=4f837c9b911894d2566f61145b3eb1d901a0e82de622975de806a1e6671a75d07a47b389a8c4b2664d20146c00f509d96010e5ee339d860679843922c8846f54"
41 ]
42}
43x-commit-hash: "0dc5cddce0dad48c1749a26ae413cca1848116e9"