this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "OCaml bindings for Clang API"
3description: """
4clangml provides bindings to call the Clang API from OCaml.
5"""
6maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]
7authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]
8license: "BSD-2-Clause"
9homepage: "https://memcad.gitlabpages.inria.fr/clangml/"
10doc: "https://memcad.gitlabpages.inria.fr/clangml/doc/clangml/index.html"
11bug-reports: "https://gitlab.inria.fr/memcad/clangml/issues"
12depends: [
13 "conf-libclang" {<= "12"}
14 "conf-ncurses"
15 "conf-zlib"
16 "dune" {>= "1.11.0"}
17 "stdcompat" {>= "13"}
18 "ocaml" {>= "4.08.0"}
19 "ocamlfind" {build & >= "1.8.0"}
20 "ocamlcodoc" {with-test & >= "1.0.1"}
21 "pattern" {with-test & >= "0.2.0"}
22 "metapp" {>= "0.4.0"}
23 "metaquot" {>= "0.4.0"}
24 "refl" {>= "0.4.0"}
25 "odoc" {with-doc & >= "1.5.1"}
26 "ppxlib" {>= "0.22.0" & < "0.23.0"}
27]
28x-ci-accept-failures: [
29 "centos-7" # GCC does not support --std=c++14
30 "archlinux" # LLVM not detected
31 "oraclelinux-7" # LLVM not detected
32 "fedora-34" # LLVM 12.0.1 not supported
33 "macos-homebrew" # LLVM 12.0.1 not supported
34]
35available: arch != "arm32" & arch != "ppc64" # Compiler segfaults on those architectures
36dev-repo: "git+https://gitlab.inria.fr/memcad/clangml"
37build: [
38 ["./configure" "--prefix=%{prefix}%" "--with-llvm-config=%{conf-libclang:config}%" conf-libclang:clangml440_configure_options]
39 ["dune" "build" "-p" name "-j" jobs "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}]]
42url {
43 src: "https://gitlab.inria.fr/memcad/clangml/-/archive/v4.4.0/clangml-v4.4.0.tar.gz"
44 checksum: "sha512=cb58a5fa327c779340460a1f77df55bdef226afc124fbfed8da2b8cd684d4a58d9efa6cd3442bc1890e25150b089e4c2baa613144a93bcab64d8512f28dd36b2"
45}