Skip to content

Package mopsa.1.2 #28190

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jul 24, 2025
+108 −0
Merged

Package mopsa.1.2 #28190

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
9f50692
Package mopsa.1.2
rmonat Jul 17, 2025
065ccde
Update packages/mopsa/mopsa.1.2/opam
rmonat Jul 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
108 changes: 108 additions & 0 deletions packages/mopsa/mopsa.1.2/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
opam-version: "2.0"
synopsis:
"MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation"
description: """\
MOPSA is a generic framework for building sound static analyzers based on Abstract Interpretation.
It features a modular architecture to support different kinds of languages, iterators, and abstract domains.
For the moment, MOPSA can analyze programs written in a subset of C and Python.
It reports run-time errors on C programs and uncaught exceptions on Python programs."""
maintainer: [
"Antoine Miné <antoine.mine@lip6.fr>"
"Abdelraouf Ouadjaout <ouadjaout@gmail.com>"
"Raphaël Monat <raphael.monat@inria.fr>"
]
authors: [
"Antoine Miné"
"Abdelraouf Ouadjaout"
"Matthieu Journault"
"Aymeric Fromherz"
"Raphaël Monat"
"Francesco Parolini"
"Marco Milanese"
"Jérôme Boillot"
]
license: "LGPL-3.0-or-later"
homepage: "https://mopsa.lip6.fr"
doc: "https://mopsa.gitlab.io/mopsa-analyzer/user-manual/"
bug-reports: "https://gitlab.com/mopsa/mopsa-analyzer/issues"
depends: [
"ocaml" {>= "4.13.0"}
"dune" {>= "3.7"}
"ocamlfind"
"apron" {>= "0.9.15"}
"menhir" {>= "20200525"}
"mlgmpidl"
"yojson" {>= "1.6.0"}
"zarith" {>= "1.10"}
"odoc" {with-doc}
"arg-complete" {>= "0.2.1"}
"qcheck-core" {>= "0.26"}
]
depopts: ["elina"]
available:
!(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"
build: [
["./configure"] {os != "macos"}
[
"./configure"
"CLANG=/usr/local/opt/llvm/bin/clang"
"LLVMCONFIG=/usr/local/opt/llvm/bin/llvm-config"
] {os = "macos" & arch = "x86_64"}
[
"./configure"
"CLANG=/opt/homebrew/opt/llvm/bin/clang"
"LLVMCONFIG=/opt/homebrew/opt/llvm/bin/llvm-config"
] {os = "macos" & arch = "arm64"}
[make]
[make "tests"] {with-test}
]
install: [make "install"]
post-messages:
"""\
Mopsa installed.

If you want to enable **bash completion features**, please:
1. Install bash-completion, if you do not have it already
2. echo "source $OPAM_SWITCH_PREFIX/share/bash_completion/completions/mopsa-completion" >> ~/.bash_completion"""
{success}
depexts: [
["clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"]
{os-distribution = "ubuntu" & os-version >= "21.04"}
["clang" "libclang-11-dev" "libclang-cpp11-dev" "llvm-11-dev"]
{os-distribution = "ubuntu" & os-version = "20.10"}
["clang" "libclang-12-dev" "libclang-cpp12-dev" "llvm-12-dev"]
{os-distribution = "ubuntu" & os-version = "20.04"}
["clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"]
{os-distribution = "debian" & os-version >= "13"}
["clang" "libclang-14-dev" "libclang-cpp14-dev" "llvm-14-dev"]
{os-distribution = "debian" & os-version = "12"}
["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
{os-distribution = "debian" & os-version = "11"}
["clang-13" "libclang-13-dev" "libclang-cpp13-dev" "llvm-13-dev"]
{os-distribution = "debian" & os-version = "10"}
["clang-devel" "llvm-devel" "redhat-rpm-config"] {os-family = "fedora"}
["clang" "llvm"] {os-family = "arch"}
["clang17-dev" "llvm17-dev"]
{os-distribution = "alpine" & os-version >= "3.19"}
["clang16-dev" "llvm16-dev"]
{os-distribution = "alpine" & os-version >= "3.18" & os-version < "3.19"}
["clang15-dev" "llvm15-dev"]
{os-distribution = "alpine" & os-version >= "3.17" & os-version < "3.18"}
["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
{os-distribution = "opensuse-tumbleweed"}
["clang" "clang-devel" "llvm" "llvm-devel" "mpfr-devel"]
{os-distribution = "opensuse-leap"}
["llvm-core/clang"] {os-distribution = "gentoo"}
["llvm"] {os = "macos"}
["devel/llvm"] {os = "freebsd"}
]
dev-repo: "git+https://gitlab.com/mopsa/mopsa-analyzer.git"
url {
src:
"https://www.gitlab.com/mopsa/mopsa-analyzer/-/archive/v1.2/mopsa-analyzer-v1.2.tar.gz"
checksum: [
"md5=37966e98ffeebcedc09bd6e9b2b81f69"
"sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa"
]
}
x-maintenance-intent: ["(latest)"]