this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Parses a C program into Cabs AST and dumps as an XML document"
3maintainer: ["Ivan Gotovchits <ivg@ieee.org>"]
4authors: ["Hugues Cassé <casse@irit.fr> et al"]
5license: "LGPL-2.0-only"
6tags: ["FrontC" "C" "parser" "XML"]
7homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
8bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
9depends: [
10 "ocaml" {>= "4.08.0"}
11 "dune" {>= "2.7"}
12 "FrontC" {= version}
13 "odoc" {with-doc}
14]
15build: [
16 ["dune" "subst"] {dev}
17 [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "@install"
25 "@doc" {with-doc}
26 ]
27]
28dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
29
30
31url {
32 src:
33 "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.1.0.tar.gz"
34 checksum: [
35 "sha256=f70063a72a39cb9192069ce3b1a20dd28f7e1c2ef6a56bbfbf7079533f2210e4"
36 "md5=08e58fa6c9eb311b03c0b85d74d2e256"
37 ]
38 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.1.0.tar.gz"
39}