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>"
7remove: [["ocamlfind" "remove" "FrontC"]]
8depends: [
9 "ocaml"
10 "ocamlfind" {build}
11]
12patches: ["opam.patch"]
13install: [
14 [make "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
15 ["cp" "META" "%{lib}%/FrontC"]
16]
17synopsis: "Library providing a C parser and lexer"
18description: """
19FrontC is an OCAML library providing a C parser and lexer. The result
20is a syntactic tree easy to process with usual OCAML tree management.
21
22It provides support for ANSI C syntax, old-C K&R style syntax and the
23standard GNU CC attributes.
24
25It provides also a C pretty printer as an example of use."""
26flags: light-uninstall
27url {
28 src:
29 "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_1.tar.gz"
30 checksum: [
31 "sha256=b6d47a0d3abe22ea63aa4ff2ab55bf071f84cc878f251890946127e97308aca7"
32 "md5=1bc3d9c7829fad9d5e0499eecd84880e"
33 ]
34 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_1.tar.gz"
35}
36extra-source "opam.patch" {
37 src:
38 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/opam.patch.3.4.1"
39 checksum: [
40 "sha256=80240535f475e10d4e7ace1b7baa0f2a6929169fd8f71a773d786b02a8d73a16"
41 "md5=4352830449159cb6b45de35c59a6f149"
42 ]
43}
44extra-source "META" {
45 src:
46 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/META.3.4.1"
47 checksum: [
48 "sha256=4de049cce6d5c0bb86a11fbeb98e8793c1f53404ad27708b47b351e66dd45c68"
49 "md5=bdbf1c230e0b897a898fd35dfc4cb475"
50 ]
51}
52extra-source "FrontC.install" {
53 src:
54 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/FrontC.install"
55 checksum: [
56 "sha256=501dee92dc12ec57e4f34b5e5e15ee9630cb47c0c3f5219d6172a450c3495224"
57 "md5=c56e698d092d18179f9458f311c56412"
58 ]
59}