this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation"
4description: """\
5MOPSA is a generic framework for building sound static analyzers based on Abstract Interpretation.
6It features a modular architecture to support different kinds of languages, iterators, and abstract domains.
7For the moment, MOPSA can analyze programs written in a subset of C and Python.
8It reports run-time errors on C programs and uncaught exceptions on Python programs."""
9maintainer: [
10 "Antoine Miné <antoine.mine@lip6.fr>"
11 "Abdelraouf Ouadjaout <ouadjaout@gmail.com>"
12 "Raphaël Monat <raphael.monat@inria.fr>"
13]
14authors: [
15 "Antoine Miné"
16 "Abdelraouf Ouadjaout"
17 "Matthieu Journault"
18 "Aymeric Fromherz"
19 "Raphaël Monat"
20 "Francesco Parolini"
21 "Marco Milanese"
22 "Jérôme Boillot"
23]
24license: "LGPL-3.0-or-later"
25homepage: "https://gitlab.com/mopsa/mopsa-analyzer"
26doc: "https://mopsa.gitlab.io/mopsa-analyzer/user-manual/"
27bug-reports: "https://gitlab.com/mopsa/mopsa-analyzer/issues"
28depends: [
29 "ocaml" {>= "4.12.0"}
30 "dune" {>= "3.7"}
31 "ocamlfind"
32 "apron" {>= "0.9.15"}
33 "menhir" {>= "20180528"}
34 "mlgmpidl"
35 "yojson" {>= "1.6.0"}
36 "zarith" {>= "1.10"}
37 "odoc" {with-doc}
38]
39depopts: ["elina"]
40conflicts: [
41 "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}
42 "ocaml-compiler" {= "5.3.0~alpha1"}
43]
44available:
45 !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"
46build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"
47build: [
48 ["./configure"] {os != "macos"}
49 [
50 "./configure"
51 "CLANG=/usr/local/opt/llvm/bin/clang"
52 "LLVMCONFIG=/usr/local/opt/llvm/bin/llvm-config"
53 ] {os = "macos" & arch = "x86_64"}
54 [
55 "./configure"
56 "CLANG=/opt/homebrew/opt/llvm/bin/clang"
57 "LLVMCONFIG=/opt/homebrew/opt/llvm/bin/llvm-config"
58 ] {os = "macos" & arch = "arm64"}
59 [make]
60 [make "tests"] {with-test}
61]
62install: [make "install"]
63depexts: [
64 ["clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"]
65 {os-distribution = "ubuntu" & os-version >= "21.04"}
66 ["clang" "libclang-11-dev" "libclang-cpp11-dev" "llvm-11-dev"]
67 {os-distribution = "ubuntu" & os-version = "20.10"}
68 ["clang" "libclang-12-dev" "libclang-cpp12-dev" "llvm-12-dev"]
69 {os-distribution = "ubuntu" & os-version = "20.04"}
70 ["clang" "libclang-16-dev" "libclang-cpp16-dev" "llvm-16-dev"]
71 {os-distribution = "debian" & os-version >= "13"}
72 ["clang" "libclang-14-dev" "libclang-cpp14-dev" "llvm-14-dev"]
73 {os-distribution = "debian" & os-version = "12"}
74 ["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
75 {os-distribution = "debian" & os-version = "11"}
76 ["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
77 {os-distribution = "debian" & os-version = "10"}
78 ["clang-devel" "llvm-devel" "redhat-rpm-config"] {os-family = "fedora"}
79 ["clang" "llvm"] {os-family = "arch"}
80 ["clang17-dev" "llvm17-dev"]
81 {os-distribution = "alpine" & os-version >= "3.19"}
82 ["clang16-dev" "llvm16-dev"]
83 {os-distribution = "alpine" & os-version >= "3.18" & os-version < "3.19"}
84 ["clang15-dev" "llvm15-dev"]
85 {os-distribution = "alpine" & os-version >= "3.17" & os-version < "3.18"}
86 ["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
87 {os-distribution = "opensuse-tumbleweed"}
88 ["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
89 {os-distribution = "opensuse-leap"}
90 ["sys-devel/clang"] {os-distribution = "gentoo"}
91 ["llvm"] {os = "macos"}
92 ["devel/llvm"] {os = "freebsd"}
93]
94dev-repo: "git+https://gitlab.com/mopsa/mopsa-analyzer.git"
95url {
96 src:
97 "https://www.gitlab.com/mopsa/mopsa-analyzer/-/archive/v1.0/mopsa-analyzer-v1.0.tar.gz"
98 checksum: [
99 "md5=9f673f79708b44a7effb3b6bb3618d2c"
100 "sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4"
101 ]
102}