Commit 86a09659 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[opam] opam configuration for public release

parent 14dd5df8
opam-version: "2.0"
name: "frama-c-metacsl"
synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
version: "0.0+THS-2"
version: "0.0"
description:"""
MetACSL let users write properties that need to be checked at particular
contexts (e.g. each time a location is written to inside a given set
......@@ -14,9 +14,9 @@ authors: [
"Virgile Robles"
]
homepage: "http://frama-c.com/"
license: "CEA proprietary licence"
dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
bug-reports: "https://git.frama-c.com/pub/frama-c/-/issues"
license: "LGPLv2.1"
dev-repo: "git+https://git.frama-c.com/pub/meta.git"
bug-reports: "https://git.frama-c.com/pub/meta/-/issues"
tags: [
"program verification"
"formal specification"
......@@ -25,6 +25,7 @@ tags: [
]
build: [
["autoconf"] {pinned}
["./configure"]
[make "-j%{jobs}%"]
]
......@@ -35,6 +36,6 @@ install: [
depends: [
"ocaml" { >= "4.05.0" & ( < "4.08.0~" | >= "4.08.1" ) }
"frama-c" { >= "21.0" & <= "21.1" }
"frama-c" { >= "21.1+dev" }
"why3" { >= "1.3.1" }
]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment