this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
3description: """
4This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
5"""
6maintainer: "Virgile.Prevosto@cea.fr"
7authors: [
8 "David Cok"
9 "Virgile Prevosto"
10 "Franck Védrine"
11]
12license: "LGPL-2.1-only"
13homepage: "https://frama-c.com/frama-clang.html"
14dev-repo: "git+https://git.frama-c.com/pub/frama-clang.git"
15bug-reports: "https://git.frama-c.com/pub/frama-clang/-/issues"
16tags: ["Frama-C" "formal specification" "C++" "plugins" "ACSL" "ACSL++"]
17
18depends: [
19 "dune" {>= "3.2"}
20 "frama-c" {>= "27.0~" & < "28.0~"}
21 "zarith" {>= "1.5"}
22 "camlp5"
23 "camlp-streams"
24 "conf-llvm" {>= "11.0.0"}
25 "conf-libclang" {>= "11.0.0"}
26 "conf-clang" { os-family = "debian" }
27 "conf-cmake"
28 "odoc" {with-doc}
29]
30build: [
31 ["dune" "subst"] {dev}
32 [
33 "dune"
34 "build"
35 "-p"
36 name
37 "-j"
38 jobs
39 "--promote-install-files=false"
40 "@install"
41 "@runtest" {with-test}
42 "@doc" {with-doc}
43 ]
44 ["dune" "install" "-p" name "--create-install-files" name]
45]
46
47url {
48 src: "https://git.frama-c.com/pub/frama-clang/-/archive/0.0.14/frama-clang-0.0.14.tar.bz2"
49 checksum: [ "sha256=fa6b471814007322fcb4ea56addbe94cd49c570e17b1f33d633bc5e3fc8e0913" ]
50}
51
52substs: [ "build.sh.patch" ]
53patches: [ "CMakeLists.txt.patch" "build.sh.patch" ]
54
55x-ci-accept-failures: [
56 # cmake version too old
57 "debian-10"
58 "debian-11"
59 "ubuntu-20.04"
60]
61extra-source "build.sh.patch.in" {
62 src:
63 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/frama-clang/build.sh.patch.in"
64 checksum:
65 "sha256=6a780e39eb21f37852c9aef8da6ff25e548bf1745ec1a4b91a36297d416187f8"
66}
67extra-source "CMakeLists.txt.patch" {
68 src:
69 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/frama-clang/CMakeLists.txt.patch"
70 checksum:
71 "sha256=6b69ba205c2277b921546322f0997fb6765c7fb553410a3e5b579230aa9f3202"
72}
73available: false