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" {>= "4.0.0"}
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 "@runtest" {with-test}
26 "@doc" {with-doc}
27 ]
28]
29dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
30
31url {
32 src:
33 "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
34 checksum: [
35 "sha256=1cd4e72478b1bf03678dd3cc730400c26a0d02b883906a5f5a354907f2798279"
36 "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
37 ]
38 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
39}