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-beta/frama-clang-0.0.17-beta.tar.bz2"
43 checksum: [
44 "md5=24d18e837cfa394b0b70f7d9595b80ce"
45 "sha512=2a3a455706ab0659d075e09a3c2794af5407349ffd6a65260c0601aed4c7728452f7ebfc3b986b855134d021e93dcee2f68f5f4289a9c08faee1a914f9603f38"
46 ]
47}
48x-ci-accept-failures: ["debian-11" "ubuntu-20.04"]