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://mopsa.lip6.fr"
26doc: "https://mopsa.gitlab.io/mopsa-analyzer/user-manual/"
27bug-reports: "https://gitlab.com/mopsa/mopsa-analyzer/issues"
28depends: [
29 "ocaml" {>= "4.13.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 "arg-complete" {>= "0.2.1"}
39]
40depopts: ["elina"]
41available:
42 !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"
43build: [
44 ["./configure"] {os != "macos"}
45 [
46 "./configure"
47 "CLANG=/usr/local/opt/llvm/bin/clang"
48 "LLVMCONFIG=/usr/local/opt/llvm/bin/llvm-config"
49 ] {os = "macos" & arch = "x86_64"}
50 [
51 "./configure"
52 "CLANG=/opt/homebrew/opt/llvm/bin/clang"
53 "LLVMCONFIG=/opt/homebrew/opt/llvm/bin/llvm-config"
54 ] {os = "macos" & arch = "arm64"}
55 [make]
56 [make "tests"] {with-test}
57]
58install: [make "install"]
59post-messages: """\
60Mopsa installed.
61
62If you want to enable **bash completion features**, please:
631. Install bash-completion, if you do not have it already
642. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion"""
65depexts: [
66 ["clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"]
67 {os-distribution = "ubuntu" & os-version >= "21.04"}
68 ["clang" "libclang-11-dev" "libclang-cpp11-dev" "llvm-11-dev"]
69 {os-distribution = "ubuntu" & os-version = "20.10"}
70 ["clang" "libclang-12-dev" "libclang-cpp12-dev" "llvm-12-dev"]
71 {os-distribution = "ubuntu" & os-version = "20.04"}
72 ["clang" "libclang-16-dev" "libclang-cpp16-dev" "llvm-16-dev"]
73 {os-distribution = "debian" & os-version >= "13"}
74 ["clang" "libclang-14-dev" "libclang-cpp14-dev" "llvm-14-dev"]
75 {os-distribution = "debian" & os-version = "12"}
76 ["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
77 {os-distribution = "debian" & os-version = "11"}
78 ["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
79 {os-distribution = "debian" & os-version = "10"}
80 ["clang-devel" "llvm-devel" "redhat-rpm-config"] {os-family = "fedora"}
81 ["clang" "llvm"] {os-family = "arch"}
82 ["clang17-dev" "llvm17-dev"]
83 {os-distribution = "alpine" & os-version >= "3.19"}
84 ["clang16-dev" "llvm16-dev"]
85 {os-distribution = "alpine" & os-version >= "3.18" & os-version < "3.19"}
86 ["clang15-dev" "llvm15-dev"]
87 {os-distribution = "alpine" & os-version >= "3.17" & os-version < "3.18"}
88 ["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
89 {os-distribution = "opensuse-tumbleweed"}
90 ["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
91 {os-distribution = "opensuse-leap"}
92 ["sys-devel/clang"] {os-distribution = "gentoo"}
93 ["llvm"] {os = "macos"}
94 ["devel/llvm"] {os = "freebsd"}
95]
96dev-repo: "git+https://gitlab.com/mopsa/mopsa-analyzer.git"
97url {
98 src:
99 "https://www.gitlab.com/mopsa/mopsa-analyzer/-/archive/v1.1/mopsa-analyzer-v1.1.tar.gz"
100 checksum: [
101 "md5=fdee20e988343751de440b4f6b67c0f4"
102 "sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500"
103 ]
104}
105x-maintenance-intent: ["(latest)"]