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:
4 "This Frama-C plug-in parse C++ files that may contain ACSL++ annotations."
5maintainer: "Virgile.Prevosto@cea.fr"
6authors: "Virgile Prevosto"
7license: "LGPL-2.1-only"
8tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
9homepage: "https://frama-c.com/frama-clang.html"
10bug-reports: "https://git.frama-c.com/pub/frama-clang/-/issues"
11depends: [
12 "dune" {>= "3.13" & != "3.13.0"}
13 "frama-c" {>= "30.0~" & < "31.0~"}
14 "zarith" {>= "1.5"}
15 "camlp5"
16 "camlp-streams"
17 "conf-llvm" {>= "11.0.0"}
18 "conf-libclang" {>= "11.0.0"}
19 "conf-clang"
20 "conf-cmake"
21 "odoc" {with-doc}
22]
23build: [
24 ["dune" "subst"] {dev}
25 [
26 "dune"
27 "build"
28 "-p"
29 name
30 "-j"
31 jobs
32 "--promote-install-files=false"
33 "@install"
34 "@runtest" {with-test}
35 "@doc" {with-doc}
36 ]
37 ["dune" "install" "-p" name "--create-install-files" name]
38]
39dev-repo: "git+https://git.frama-c.com/pub/frama-clang.git"
40url {
41 src:
42 "https://git.frama-c.com/pub/frama-clang/-/archive/0.0.17/frama-clang-0.0.17.tar.bz2"
43 checksum: [
44 "md5=3535fef2cd555b1fd1ee8cfb746d4a86"
45 "sha512=2402446802b8369225dbfff15e0646b4b4567f7addb18fc633c6effac86b2abb9e9a35111189ad71e5aaf6acafd7b51436c898ed50283f52a435ffcafaada334"
46 ]
47}
48x-ci-accept-failures: ["debian-11" "ubuntu-20.04"]
49
50x-maintenance-intent: [ "(latest)" "(latest-1)" ]