From 32551a40e56c5cf1d9f7bebd1cd88ddfd04abb98 Mon Sep 17 00:00:00 2001 From: Baptiste Fontaine Date: Wed, 28 Jan 2015 13:08:49 +0100 Subject: why3 0.85 (new formula) Closes #36314. Signed-off-by: Mike McQuaid --- Library/Formula/why3.rb | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 Library/Formula/why3.rb (limited to 'Library/Formula') diff --git a/Library/Formula/why3.rb b/Library/Formula/why3.rb new file mode 100644 index 000000000..6de8249aa --- /dev/null +++ b/Library/Formula/why3.rb @@ -0,0 +1,22 @@ +class Why3 < Formula + homepage "http://why3.lri.fr/" + url "https://gforge.inria.fr/frs/download.php/file/34074/why3-0.85.tar.gz" + sha1 "c8d5f56c80f936a667ea2719baa99bb84a5f05ca" + + depends_on "objective-caml" + depends_on "coq" => :optional + depends_on "lablgtk" => :optional + depends_on "hevea" => [:build, :optional] + depends_on "rubber" => :build + + def install + system "./configure", "--enable-verbose-make", + "--prefix=#{prefix}" + system "make" + system "make", "install" + end + + test do + system "#{bin}/why3", "config", "--detect", "--dont-save" + end +end -- cgit v1.2.3