this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: "Hugues Cassé <casse@irit.fr>"
3homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
4bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
5dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC"
6maintainer: "Ivan Gotovchits <ivg@ieee.org>"
7depends: [
8 "ocaml"
9]
10patches: ["opam.patch"]
11install: [
12 [make "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
13 ["cp" "META" "%{lib}%/FrontC"]
14]
15synopsis: "Library providing a C parser and lexer"
16description: """
17FrontC is an OCAML library providing a C parser and lexer. The result
18is a syntactic tree easy to process with usual OCAML tree management.
19
20It provides support for ANSI C syntax, old-C K&R style syntax and the
21standard GNU CC attributes.
22
23It provides also a C pretty printer as an example of use."""
24url {
25 src:
26 "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz"
27 checksum: [
28 "sha256=b3bda2cb3ec8b656fb69664a7d981ecc80be5804c88d665de02f1bc9d1ede609"
29 "md5=76b84606069aadac0aa05662d7a77033"
30 ]
31 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_2.tar.gz"
32}
33extra-source "opam.patch" {
34 src:
35 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/opam.patch.3.4.2"
36 checksum: [
37 "sha256=80240535f475e10d4e7ace1b7baa0f2a6929169fd8f71a773d786b02a8d73a16"
38 "md5=4352830449159cb6b45de35c59a6f149"
39 ]
40}
41extra-source "META" {
42 src:
43 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/META.3.4.2"
44 checksum: [
45 "sha256=4de049cce6d5c0bb86a11fbeb98e8793c1f53404ad27708b47b351e66dd45c68"
46 "md5=bdbf1c230e0b897a898fd35dfc4cb475"
47 ]
48}
49extra-source "FrontC.install" {
50 src:
51 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/FrontC.install"
52 checksum: [
53 "sha256=501dee92dc12ec57e4f34b5e5e15ee9630cb47c0c3f5219d6172a450c3495224"
54 "md5=c56e698d092d18179f9458f311c56412"
55 ]
56}