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" {<= "13"}
14 "conf-ncurses"
15 "conf-zlib"
16 "dune" {>= "1.11.0"}
17 "stdcompat" {>= "13"}
18 "ocaml" {>= "4.08.0" & < "5.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.23" & < "0.26"}
27 "ocaml-migrate-parsetree" {>= "2.2.0"}
28 "conf-bash" {build}
29]
30x-ci-accept-failures: [
31 "centos-7" # GCC does not support --std=c++14
32 "archlinux" # LLVM not detected
33 "oraclelinux-7" # LLVM not detected
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}%"]
39 ["bash" "-ex" "./build_with_bigger_stack_size.sh" "dune" "build" "-p" name "-j" jobs "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}]]
42url {
43 src: "https://gitlab.inria.fr/memcad/clangml/uploads/888b796e6a42405e831315d967bf094d/clangml.4.5.0.tar.gz"
44 checksum: "sha512=f0e0da9290a4f7e9a193754236ea028cabf2a0039f3c2e49a85e53a2cd6a2a78eade60f0c0bd73d272cd0e4bc7fba4333a645faaf14f94e4404498e4144306fc"
45}
46extra-source "build_with_bigger_stack_size.sh" {
47 src:
48 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/clangml/build_with_bigger_stack_size.sh"
49 checksum:
50 "sha512=16e37f951916194b1afc077b61283f4f691bffeea9407a7192eebad65b92b6e2e0747c8d3640b4fbaf2fe9e9138cb82bb3f898e21a803b186dd4ac5492b103bd"
51}