Package mopsa.1.2

Author: rmonat

packages/mopsa/mopsa.1.2/opam

@@ -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" {>= "20180528"}
+  "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)"]