Commit b117acfe authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update opam packages.

parent b1da8bf0
opam-version: "1.2"
maintainer: "Claude.Marche@inria.fr"
maintainer: "guillaume.melquiond@inria.fr"
authors: [
"François Bobot"
"Jean-Christophe Filliâtre"
......@@ -7,9 +7,13 @@ authors: [
"Guillaume Melquiond"
"Andrei Paskevich"
]
homepage: "http://why3.lri.fr/"
license: "GNU Lesser General Public License version 2.1"
doc: ["http://why3.lri.fr/#documentation"]
doc: "http://why3.lri.fr/#documentation"
bug-reports: "https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293"
dev-repo: "https://scm.gforge.inria.fr/anonscm/git/why3/why3.git"
tags: [
"deductive"
"program verification"
......@@ -18,13 +22,20 @@ tags: [
"interactive theorem prover"
]
available: [ ocaml-version >= "4.01.0" ]
# Jessie3 (frama-c plugin) is *disabled* because it is not ready
build: [
["./configure" "--prefix" prefix "--disable-frama-c"
"--disable-ide" { !conf-gtksourceview:installed }
"--disable-ide" { !conf-gtksourceview:installed }]
[make "-j%{jobs}%" "opt" "byte"]
]
[make "opt" "byte"]
[make "install" "install-lib"]
install: [make "install" "install-lib"]
remove: [
["rm" "%{bin}%/why3"]
["rm" "-r" "%{lib}%/why3"]
["rm" "-r" "%{share}%/why"]
]
build-doc: [
......
archive: "https://gforge.inria.fr/frs/download.php/file/35643/why3-0.87.0.tar.gz"
checksum: "e587a45b94201de16529a15c72b978df"
archive: "https://gforge.inria.fr/frs/download.php/file/35893/why3-0.87.1.tar.gz"
checksum: "f1780c8579e6fec9a7ece3ecd05a01e2"
opam-version: "1.2"
maintainer: "Claude.Marche@inria.fr"
maintainer: "guillaume.melquiond@inria.fr"
authors: [
"François Bobot"
"Jean-Christophe Filliâtre"
......@@ -9,7 +9,9 @@ authors: [
]
homepage: "http://why3.lri.fr/"
license: "GNU Lesser General Public License version 2.1"
doc: ["http://why3.lri.fr/#documentation"]
doc: "http://why3.lri.fr/#documentation"
bug-reports: "https://gforge.inria.fr/tracker/?func=browse&group_id=2990&atid=10293"
dev-repo: "https://scm.gforge.inria.fr/anonscm/git/why3/why3.git"
tags: [
"deductive"
"program verification"
......@@ -19,7 +21,7 @@ tags: [
]
available: [ ocaml-version >= "4.01.0" ]
depends: [
"why3-base" { = "0.87.0" }
"why3-base" { = "0.87.1" }
"lablgtk"
"conf-gtksourceview"
"zarith"
......
Markdown is supported
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