why3.spec

   1 Summary:        Software verification platform
   2 Name:           why3
   3 Version:        0.73
   4 Release:        1
   5 Group:          Applications
   6 License:        LGPLv2 with exceptions
   7 Source0:        https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.gz
   8 # Source0-md5:  8994f147b7fc4084da46e81693e044bb
   9 URL:            http://why3.lri.fr/
  10 BuildRequires:  camlp5
  11 BuildRequires:  coq
  12 BuildRequires:  emacs
  13 BuildRequires:  evince
  14 BuildRequires:  gtksourceview2-devel
  15 BuildRequires:  ocaml
  16 BuildRequires:  ocaml-findlib-devel
  17 BuildRequires:  ocaml-graph-devel
  18 BuildRequires:  ocaml-lablgtk-devel
  19 BuildRequires:  ocaml-sqlite-devel
  20 BuildRequires:  rubber
  21 BuildRequires:  sqlite3-devel
  22 BuildRequires:  xemacs
  23 Requires:       gtksourceview2
  24 %requires_eq    ocaml-runtime
  25 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  26
  27 %description
  28 Why3 is the next generation of the Why software verification platform.
  29 Why3 clearly separates the purely logical specification part from
  30 generation of verification conditions for programs. It features a rich
  31 library of proof task transformations that can be chained to produce a
  32 suitable input for a large set of theorem provers, including SMT
  33 solvers, TPTP provers, as well as interactive proof assistants.
  34
  35 %prep
  36 %setup -q
  37
  38 %build
  39 %configure \
  40         --enable-doc
  41
  42 %{__make}
  43
  44 %install
  45 rm -rf $RPM_BUILD_ROOT
  46
  47 %{__make} install \
  48         DESTDIR=$RPM_BUILD_ROOT
  49
  50 # Move the gtksourceview language file to the right place
  51 install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
  52 mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
  53
  54 %clean
  55 rm -rf $RPM_BUILD_ROOT
  56
  57 %files
  58 %defattr(644,root,root,755)
  59 %doc LICENSE README doc/manual.pdf
  60 %attr(755,root,root) %{_bindir}/%{name}*
  61 %{_datadir}/%{name}
  62 %{_datadir}/gtksourceview-2.0/language-specs/why.lang
  63 %{_libdir}/%{name}