this repo has no description
Merge pull request #27397 from rmonat/opam-publish-mopsa.1.1
[new release] Package mopsa.1.1
authored by
Marcello Seri
and committed by
GitHub
939cc3a2
9cbff5d6
+105
+105
packages/mopsa/mopsa.1.1/opam
+105
packages/mopsa/mopsa.1.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation"
4
+
description: """\
5
+
MOPSA is a generic framework for building sound static analyzers based on Abstract Interpretation.
6
+
It features a modular architecture to support different kinds of languages, iterators, and abstract domains.
7
+
For the moment, MOPSA can analyze programs written in a subset of C and Python.
8
+
It reports run-time errors on C programs and uncaught exceptions on Python programs."""
9
+
maintainer: [
10
+
"Antoine Miné <antoine.mine@lip6.fr>"
11
+
"Abdelraouf Ouadjaout <ouadjaout@gmail.com>"
12
+
"Raphaël Monat <raphael.monat@inria.fr>"
13
+
]
14
+
authors: [
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
+
]
24
+
license: "LGPL-3.0-or-later"
25
+
homepage: "https://mopsa.lip6.fr"
26
+
doc: "https://mopsa.gitlab.io/mopsa-analyzer/user-manual/"
27
+
bug-reports: "https://gitlab.com/mopsa/mopsa-analyzer/issues"
28
+
depends: [
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
+
]
40
+
depopts: ["elina"]
41
+
available:
42
+
!(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"
43
+
build: [
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
+
]
58
+
install: [make "install"]
59
+
post-messages: """\
60
+
Mopsa installed.
61
+
62
+
If you want to enable **bash completion features**, please:
63
+
1. Install bash-completion, if you do not have it already
64
+
2. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion"""
65
+
depexts: [
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
+
]
96
+
dev-repo: "git+https://gitlab.com/mopsa/mopsa-analyzer.git"
97
+
url {
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
+
}
105
+
x-maintenance-intent: ["(latest)"]