From: Jan Rękorajski <baggins@pld-linux.org>
Date: Tue, 14 May 2013 11:35:41 +0000 (+0200)
Subject: - new
X-Git-Tag: auto/th/why3-0.73-1~2
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fwhy3.git;a=commitdiff_plain;h=56491d8

- new
---

56491d8d367a9122870700a095188ce85bc1f977
diff --git a/why3.spec b/why3.spec
new file mode 100644
index 0000000..5802a08
--- /dev/null
+++ b/why3.spec
@@ -0,0 +1,63 @@
+Summary:	Software verification platform
+Name:		why3
+Version:	0.73
+Release:	1
+Group:		Applications
+License:	LGPLv2 with exceptions
+Source0:	https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.gz
+# Source0-md5:	8994f147b7fc4084da46e81693e044bb
+URL:		http://why3.lri.fr/
+BuildRequires:	camlp5
+BuildRequires:	coq
+BuildRequires:	emacs
+BuildRequires:	evince
+BuildRequires:	gtksourceview2-devel
+BuildRequires:	ocaml
+BuildRequires:	ocaml-findlib-devel
+BuildRequires:	ocaml-graph-devel
+BuildRequires:	ocaml-lablgtk-devel
+BuildRequires:	ocaml-sqlite-devel
+BuildRequires:	rubber
+BuildRequires:	sqlite3-devel
+BuildRequires:	xemacs
+Requires:	gtksourceview2
+%requires_eq	ocaml-runtime
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+Why3 is the 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.
+
+%prep
+%setup -q
+
+%build
+%configure \
+	--enable-doc
+
+%{__make}
+
+%install
+rm -rf $RPM_BUILD_ROOT
+
+%{__make} install \
+	DESTDIR=$RPM_BUILD_ROOT
+
+# Move the gtksourceview language file to the right place
+install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
+mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc LICENSE README doc/manual.pdf
+%attr(755,root,root) %{_bindir}/%{name}*
+%{_datadir}/%{name}
+%{_datadir}/gtksourceview-2.0/language-specs/why.lang
+%{_libdir}/%{name}