Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

Loading…

Add package for the newest version of Why3 #555

Merged
merged 1 commit into from

2 participants

@protz

No description provided.

@samoht samoht merged commit 8afdb12 into ocaml:master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on Mar 22, 2013
  1. @protz
This page is out of date. Refresh to see the latest.
View
6 packages/why3.0.80/descr
@@ -0,0 +1,6 @@
+Next generation of the Why software verification platform
+Why3 clearly separates the purely logical specification part from
+generation of verification conditions for programs. It features a rich
+library of proof task transformations that can be chained to produce a
+suitable input for a large set of theorem provers, including SMT
+solvers, TPTP provers, as well as interactive proof assistants.
View
11 packages/why3.0.80/files/why3.install
@@ -0,0 +1,11 @@
+bin: [
+ "bin/why3session.opt" {"why3session"}
+ "bin/why3replayer.opt" {"why3replayer"}
+ "?bin/why3ml.opt" {"why3ml"}
+ "?bin/why3ide.opt" {"why3ide"}
+ "bin/why3doc.opt" {"why3doc"}
+ "bin/why3config.opt" {"why3config"}
+ "bin/why3bench.opt" {"why3bench"}
+ "bin/why3-cpulimit"
+ "bin/why3.opt" {"why3"}
+]
View
14 packages/why3.0.80/opam
@@ -0,0 +1,14 @@
+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+ ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/why3/sbin" "--libexecdir=%{lib}%/why3/libexec" "--sysconfdir=%{lib}%/why3/etc" "--sharedstatedir=%{lib}%/why3/com" "--localstatedir=%{lib}%/why3/var" "--libdir=%{lib}%/why3/lib" "--includedir=%{lib}%/why3/include" "--datarootdir=%{lib}%/why3/share"]
+ [make]
+ [make "install"]
+]
+depends: [
+ "ocamlgraph" {= "1.8.2"}
+ "coq" {= "8.3"}
+ "alt-ergo"
+ "sqlite3-ocaml"
+]
+depopts: ["lablgtk"]
View
2  packages/why3.0.80/url
@@ -0,0 +1,2 @@
+archive: "https://gforge.inria.fr/frs/download.php/31724/why3-0.80.tar.gz"
+checksum: "4b50adf812a34879be92f27f25be7ec9"
Something went wrong with that request. Please try again.